Programming languages and applied logic

Functional Programming Using F#

Hansen, Michael R.
Rischel, Hans
Published: May 2013Published: May 2013Published: May 2013

(1 reviews)

Non-Hausdorff Topology and Domain Theory

Selected Topics in Point-Set Topology

Goubault-Larrecq, Jean
Published: March 2013Published: March 2013

Practical Foundations for Programming Languages

Harper, Robert
Published: February 2013

Graph Structure and Monadic Second-Order Logic

A Language-Theoretic Approach

Courcelle, Bruno
Engelfriet, Joost
Published: June 2012Published: July 2013

Programming with Higher-Order Logic

Miller, Dale
Nadathur, Gopalan
Published: June 2012Published: June 2012

Nonmonotonic Reasoning

Logical Foundations of Commonsense

Brewka, Gerhard
Published: March 2012Published: April 1991

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Roever, Willem-Paul de
Boer, Frank de
Hanneman, Ulrich
(+ 4 others)
Published: January 2012Published: November 2002

Specification and Proof in Real Time CSP

Davies, Jim
Published: January 2012Published: July 1993Published: May 2012

Proofs and Computations

Schwichtenberg, Helmut
Wainer, Stanley S.
Published: December 2011Published: February 2012

Web Data Management

Abiteboul, Serge
Manolescu, Ioana
Rigaux, Philippe
(+ 2 others)
Published: November 2011Published: February 2012

(1 reviews)

Advanced Topics in Bisimulation and Coinduction

Sangiorgi, Davide
Rutten, Jan
Published: October 2011Published: November 2011

Introduction to Bisimulation and Coinduction

Sangiorgi, Davide
Published: October 2011Published: November 2011

Unification Grammars

Francez, Nissim
Wintner, Shuly
Published: September 2011Published: February 2012

An Introduction to Category Theory

Simmons, Harold
Published: September 2011Published: September 2011Published: March 2012

Aspect-Oriented, Model-Driven Software Product Lines

The AMPLE Way

Rashid, Awais
Royer, Jean-Claude
Rummler, Andreas
Published: September 2011Published: December 2011

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

Bowman, Howard
Derrick, John
Published: July 2011Published: May 2002

Foundations of Component-Based Systems

Leavens, Gary T.
Sitaraman, Murali
Published: July 2011Published: July 2000

Computation and Automata

Salomaa, Arto
Published: April 2011Published: July 1985Published: July 2013

Finite and Algorithmic Model Theory

Esparza, Javier
Michaux, Christian
Steinhorn, Charles
Published: March 2011Published: December 2011

Lectures in Game Theory for Computer Scientists

Apt, Krzysztof R.
Grädel, Erich
Published: January 2011Published: May 2011