Kamila Bendová

According to our database1, Kamila Bendová authored at least 10 papers between 1971 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
A weak essentially undecidable theory.
Reports Math. Log., 2007

2005
Interpolation and Three-valued Logics.
Reports Math. Log., 2005

2001
On ordering and multiplication of natural numbers.
Arch. Math. Log., 2001

2000
On inter-expressibility of logical connectives in Gödel fuzzy logic.
Soft Comput., 2000

1998
A note on Gödel fuzzy logic.
Soft Comput., 1998

1977
On families recognizable by finite branching automata.
Kybernetika, 1977

Characterization of Recognizable Families by Means of Regular Languages.
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1976
On Specfic Features of Recognizable Families of Languages.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1973
Contributions to automatic construction and optimalization of identification keys.
Kybernetika, 1973

1971
The GUHA method and the three-valued logic.
Kybernetika, 1971


  Loading...