One implementation of PL prover algorithm
Tatjana Timotijević (2001)
Kragujevac Journal of Mathematics
Similarity:
Displaying similar documents to “A syntax directed translation algorithm for ALGOL-like languages”
One implementation of PL prover algorithm
Generalization of well-translation of formal languages
Jiří Kopřiva (1966)
Kybernetika
Similarity:
Realization of generalized good translation algorithm on computer
Jiří Kopřiva (1967)
Kybernetika
Similarity:
Algorithmization of algebras and relational structures
Karel Čulík (1972)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Validity test for Floyd's operator-precedence parsing algorithms is polynomial in time
Peter Růžička (1981)
Kybernetika
Similarity: