Search Results - "logic in computer science"

1

Cover Image

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero.

by Mogavero, Fabio., Mogavero, Fabio.
Published 2013

Get full text

2

Cover Image

Logics for Computer Science Classical and Non-Classical / by Anita Wasilewska.

by Wasilewska, Anita., Wasilewska, Anita.
Published 2018

Get full text

3

Cover Image

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg...

Published 2008

Get full text

4

Cover Image

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / edited by Md. Aquil Khan, Amaldev Manuel.

Published 2019

Table of Contents: '; “...Mathematical and philosophical logic -- Logic in Computer Science -- Foundations and philosophy...”
Get full text

5

Cover Image

Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / edited by Alexa...

Published 2016

Table of Contents: '; “... and applications of logic to computer science -- Model checking -- Automated reasoning -- Deductive methods....”
Get full text

6

Cover Image

Handbook of Philosophical Logic Volume 14 / edited by Dov M. Gabbay, Franz Guenthner.

Published 2007

Get full text

7

Cover Image

Finite Model Theory and Its Applications by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein.

by Grädel, Erich., Grädel, Erich., Kolaitis, Phokion G., Libkin, Leonid., Marx, Maarten., Spencer, Joel., Vardi, Moshe Y., Venema, Yde., Weinstein, Scott.
Published 2007

Get full text

8

Cover Image

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Fi...

Published 2015

Get full text

9

Cover Image

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / edited by Fedor V. Fomi...

Published 2018

Get full text

10

Cover Image

Higher-Order Computability by John Longley, Dag Normann.

by Longley, John., Longley, John., Normann, Dag.
Published 2015

Get full text

11

Cover Image

Handbook of Philosophical Logic Volume 17 / edited by Dov M. Gabbay, Franz Guenthner.

Published 2014

Get full text

12

Cover Image

25 Years of Model Checking History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith.

Published 2008

Get full text

13

Cover Image

Logic, Computation and Rigorous Methods Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe.

Published 2021

Get full text

14

Cover Image

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings / edited by Krishnendu Chatterje...

Published 2013

Get full text

15

Cover Image

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / edited by Pascal Weil.

Published 2017

Get full text

16

Cover Image

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift / edited by Peter Paule.

Published 2013

Get full text

17

Cover Image

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings / edited by René van...

Published 2019

Get full text

18

Cover Image

Computer Science – Theory and Applications 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings / edited by...

Published 2020

Get full text

19

Cover Image

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-...

Published 2015

Get full text

20

Cover Image

Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / edited by Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, S...

Published 2020

Get full text