Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... attribute grammars -- Profit: A system integrating logic programming and attribute grammars -- Towards a...”
Cover Image
Read Now

2
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... optimization techniques and their experimental evaluation -- A bottom-up interpreter for a higher-order logic...”
Cover Image
Read Now

5
by Bauer, Friedrich L., Wirsing, Martin
Published 1991
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

6
by Poernomo, Iman, Crossley, John N., Wirsing, Martin
Published 2005
Springer New York
Table of Contents: “... Protocol -- Imperative Proofs-as-Programs -- Intuitionistic Hoare Logic -- Properties of Intuitionistic...”
Cover Image
Read Now

9
Published 2004
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

10
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Development -- Rewriting Logic Semantics and Verification of Model Transformations -- Confluence in Domain...”
Cover Image
Read Now

11
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Formalisms in the ‘General Logic’ of Multialgebras -- On How Distribution and Mobility Interfere...”
Cover Image
Read Now

12
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- The logic MPL? -- Description algebra -- The calculus ?? -- The RAP system as a tool for testing COLD...”
Cover Image
Read Now

13
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary...”
Cover Image
Read Now

14
Published 2008
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

15
Published 1988
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

16
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... specification development environment -- A logic-based technology to mechanize software components reuse...”
Cover Image
Read Now

17
Published 2015
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

18
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... generic, logic and functional programming language -- CEC -- ASSPEGIQUE -- REVEUR4 : A laboratory...”
Cover Image
Read Now

19
Published 2011
Springer Berlin Heidelberg
Table of Contents: “...-Reconfigurable Service Architectures -- SoSL: A Service-Oriented Stochastic Logic -- Evaluating Service Level...”