The following pages link to (Q4348468):
Displaying 7 items.
- Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15--20, 2008. Proceedings (Q929188) (← links)
- Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth) (Q1092015) (← links)
- Constraints on computational logic. International conference, Munich, Germany, 1994 (Q1271564) (← links)
- Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings (Q1365518) (← links)
- (Q3197780) (← links)
- (Q3563385) (← links)
- Logic and Computation (Q5966630) (← links)
