Computation engineering : applied automata theory and logic /

Automata, logics, and infinite games /
Published: (2002)

Introduction to Computation : Haskell, Logic and Automata /
by: Sannella, Donald, et al.
Published: (2021)

Mathematical aspects of computer science /
Published: (1967)

Discrete structures, logic, and computability /
by: Hein, James L.
Published: (2017)

Turing's World 3.0 for the Macintosh : an introduction to computability theory /
by: Barwise, Jon
Published: (1993)

Elements of the theory of computation /
by: Lewis, Harry R.
Published: (1981)

From logic to computing /
by: McArthur, Robert P., 1944-
Published: (1991)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published: (2019)

Handbook of logic in computer science /
Published: (1992)

Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
Published: (2004)

Infinity in logic and computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /
Published: (2009)

Logic, computers, and sets.
by: Wang, Hao
Published: (1970)

Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications. : Colloque sur les fondements des mathematiques, les machines mathematiques, et leurs applications. Kolloquium uber die Grundlagen der Mathematik, Mathematische Maschinen, und Ihre Anwendungen. [Papers /
Published: (1965)

Logic and information flow /
Published: (1994)

Linear logic in computer science /
Published: (2004)

New topics in theoretical computer science /
Published: (2008)

Logic, language, and computation /
Published: (1997)

Epistemic logic for AI and computer science /
by: Meyer, John-Jules Ch
Published: (1995)

Algebraic and structural automata theory /
Published: (1991)

An introduction to the logic of the computing sciences : a contemporary look at symbolic logic /
by: Von Dohlen, Richard F.
Published: (1999)

Knowledge structures for communications in human-computer systems : general automata-based /
by: Koenig, Eldo C. (Eldo Clyde), 1919-
Published: (2007)

Finite Automata, Formal Logic, and Circuit Complexity /
by: Straubing, Howard
Published: (1994)

Logic and automata : history and perspectives.
Published: (2008)

The logical basis for computer programming /
by: Manna, Zohar
Published: (1985)

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems /
by: Bowman, Howard, 1966-
Published: (2006)

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
Published: (2022)

Logic and algebra of specification /
Published: (1993)

Substructural logics /
Published: (1993)

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
Published: (2024)

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
Published: (2024)

Automata and computability /
by: Kozen, Dexter, 1951-
Published: (1997)

The theory of computer science : a programming approach /
by: Brady, J. M.
Published: (1977)

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /
Published: (1989)

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /
Published: (1994)

Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings /
Published: (2024)

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Published: (1999)