Search Results - "Mathematical Logic and Formal Languages."

1

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings edited by Nikolaj Bjorner, Frank de Boer..

Published 2015

Subjects: '; “...Mathematical logic and formal languages...”

2

Formal Languages and Compilation by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti.

by Crespi Reghizzi, Stefano., Crespi Reghizzi, Stefano., Breveglieri, Luca., Morzenti, Angelo.
Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

3

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode.

Published 2016

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

4

Formal Languages and Compilation by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti.

by Crespi Reghizzi, Stefano., Crespi Reghizzi, Stefano., Breveglieri, Luca., Morzenti, Angelo.
Published 2019

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

5

From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice / by Michał Śmiałek, Wiktor Nowakowski.

by Śmiałek, Michał., Śmiałek, Michał., Nowakowski, Wiktor.
Published 2015

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

6

An Introduction to the Technique of Formative Processes in Set Theory by Domenico Cantone, Pietro Ursino.

by Cantone, Domenico., Cantone, Domenico., Ursino, Pietro.
Published 2018

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

7

Gentzen's Centenary The Quest for Consistency / edited by Reinhard Kahle, Michael Rathjen.

Published 2015

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

8

Logic for Computer Scientists by Uwe Schöning.

by Schöning, Uwe., Schöning, Uwe.
Published 2008

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

9

Mathematical Logic Foundations for Information Science / by Wei Li.

by Li, Wei., Li, Wei.
Published 2014

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

10

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings / edited by Ron van der Meyden, Leendert van der To...

Published 2008

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

11

Constraints Meet Concurrency by Jacopo Mauro.

by Mauro, Jacopo., Mauro, Jacopo.
Published 2014

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

12

KI 2015: Advances in Artificial Intelligence 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / edited by Steffen Hölldobler, , Rafael Peña...

Published 2015

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

13

A Course on Mathematical Logic by Shashi Mohan Srivastava.

by Srivastava, Shashi Mohan., Srivastava, Shashi Mohan.
Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

14

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Published 2014

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

15

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / edited by Ian Miguel, Wheeler Tuml.

Published 2007

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

16

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday / edited by S. Aguzzoli, A. Ciabattoni, B. Ger...

Published 2007

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

17

Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / edited by Fabrice Kordon, Daniel...

Published 2016

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

18

Advances in Proof-Theoretic Semantics edited by Thomas Piecha, Peter Schroeder-Heister.

Published 2016

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

19

Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August 13-16, 2007 Proceedings / edited...

Published 2007

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

20

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter...

Published 2014

Subjects: '; “...Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product...”
Get full text

Narrow Search