Semantics

Journal of Logic, Language and Information

Fairouz Kamareddine; Rob Nederpelt

Journal of Logic, Language and Information

Fairouz Kamareddine and Rob Nederpelt

Formal Aspects of Computing

Manfred Broy

Language Sciences

David B. Kronenfeld

Language

Baker, C. L. (author)

Notre Dame Journal of Formal Logic

Xu, Wenyan; Liu, Sanyang

Journal of Symbolic Logic

Review by: Stephen Leeds

Mathematical Logic Quarterly

Gabor T. Herman

Mathematical Logic Quarterly

Xizhong Zheng; Robert Rettinger

Mathematical Logic Quarterly

Stéphane Le Roux; Martin Ziegler

Mathematical Logic Quarterly

Volker Bosserhoff

The Journal of Logic Programming

The Journal of Logic Programming

Mehmet Dincbas; Pascal Van Hentenryck

ACM Transactions on Programming Languages and Systems

B. A. Myers