Travelled to:1 × Denmark
1 × France
Collaborated with:V.Koubek A.Goralciková
Talks about:pseudovarieti (1) semigroup (1) properti (1) isomorph (1) boundari (1) automata (1) discern (1) complet (1) algebra (1) lattic (1)
Person: Pavel Goralcik
DBLP: Goralcik:Pavel
Contributed to:
198619821980Wrote 3 papers:
- ICALP-1986-GoralcikK #automaton #on the #word
- On Discerning Words by Automata (PG, VK), pp. 116–122.
- ICALP-1982-GoralcikovaGK #bound #morphism #pseudo
- A Boundary of Isomorphism Completeness in the Lattice of Semigroup Pseudovarieties (AG, PG, VK), pp. 292–299.
- ICALP-1980-GoralcikovaGK #algebra #finite #testing
- Testing of Properties of Finite Algebras (AG, PG, VK), pp. 273–281.