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: