Search Results - "Logics and Meanings of Programs."

1

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.

Published 2013

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

2

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

Published 2014

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

3

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: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

4

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: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

5

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains / by Susanne Göbel.

by Göbel, Susanne., Göbel, Susanne.
Published 2016

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

6

Automated Deduction - CADE-21 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning.

Published 2007

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

7

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horvát...

Published 2015

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

8

Automated Reasoning and Mathematics Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.

Published 2013

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

9

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected...

Published 2016

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

10

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / edited by Raymond Devillers,...

Published 2015

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

11

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18...

Published 2015

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

12

Advances in Smalltalk 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers / edited by Wolfgang De Meuter.

Published 2007

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

13

CONCUR 2013 -- Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / edited by Pedro R. D'Argenio, Hernan Melgra...

Published 2013

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

14

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /...

Published 2014

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

15

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6,...

Published 2014

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

16

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / by Mauricio Ayala-Rincón, Flávio L. C. de Moura.

by Ayala-Rincón, Mauricio., Ayala-Rincón, Mauricio., de Moura, Flávio L. C.
Published 2017

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

17

Dag Prawitz on Proofs and Meaning edited by Heinrich Wansing.

Published 2015

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

18

Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conferenc...

Published 2020

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

19

Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / edited by Antonio Cerone, Markus Roggenba...

Published 2021

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

20

Descriptional Complexity of Formal Systems 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings / edited by Galina Jirásková, Giovanni Pighizz...

Published 2020

Subjects: '; “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Get full text

Narrow Search