Terkko Navigator / -/ Feeds / "réécriture, systèmes de ( informatique ) "

Lambda calculus, Processes, Infinite, Rewriting systems (Computer science), Lambda-calcul, Processus infinis, Réécriture, Systèmes de (Informatique), MATHEMATICS, Aspektorientierte Programmierung, Constraint-Programmierung, Lambda-Kalkül, Prozessalgebra, Reduktionssystem, Computer Science, Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Klop, J. W, Processes, sähkökirjat

Algorithms, Computer programming, Rewriting systems (Computer science), Algorithmes, Programmation (Informatique), Réécriture, Systèmes de (Informatique), sähkökirjat