Publications tagged logic
- Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, ProceedingsArnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe, editors, Volume 5028 of Lecture Notes in Computer Science, Springer, 2008.
- Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, ProceedingsJosé Júlio Alferes, João Alexandre Leite, editors, Volume 3229 of Lecture Notes in Computer Science, Springer, 2004.
- Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited PapersJürgen Dix, João Alexandre Leite, editors, Volume 3259 of Lecture Notes in Computer Science, Springer, 2004.
- Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, ProceedingsRichard J. Boulton, Paul B. Jackson, editors, Volume 2152 of Lecture Notes in Computer Science, Springer, 2001.
- Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, ProceedingsMark Aagaard, John Harrison, editors, Volume 1869 of Lecture Notes in Computer Science, Springer, 2000.
- Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, ProceedingsJoakim von Wright, Jim Grundy, John Harrison, editors, Volume 1125 of Lecture Notes in Computer Science, Springer, 1996.
- Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 354 of Lecture Notes in Computer Science, Springer, 1989.