Logic Language Information and Computation 23rd International Wor

Logic, Language, Information, and Computation - 9783662529201

Gupta - Logic-Based Program Synthesis and Transformation 23rd Intern - X555z

Chao - Algorithms and Computation 23rd International Symposium ISAA - X555z

Kohlenbach - Logic Language Information and Computation 21st Inte - X555z

Libkin - Logic Language Information and Computation 20th Internat - X555z

Jones - Logic Language and Computation Festschrift in Honor of ru T - X555z

Ong - Logic Language Information and Computation 19th Internation - X555z