Samson Abramsky

LIBRARY

Abstract Interpretation of Declrative Languages

1987 · ENGLISH · PDF

View details →

LIBRARY

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

2010 · ENGLISH · PDF

View details →

LIBRARY

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

2012 · ENGLISH · PDF

View details →

LIBRARY

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

1993 · ENGLISH · PDF

View details →

LIBRARY

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

1993 · ENGLISH · PDF

View details →

LIBRARY

Dependence Logic: Theory and Applications

2016 · ENGLISH · PDF

View details →

LIBRARY

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

1995 · ENGLISH · PDF

View details →

LIBRARY

Mathematical Foundations of Information Flow

2012 · ENGLISH · PDF

View details →

LIBRARY

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

2003 · ENGLISH · PDF

View details →

LIBRARY

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

1995 · ENGLISH · DJVU

View details →

LIBRARY

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

2012 · ENGLISH · PDF

View details →

LIBRARY

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

2010 · ENGLISH · PDF

View details →

LIBRARY

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

2010 · ENGLISH · PDF

View details →

LIBRARY

Handbook of Logic in Computer Science. Volume 3: Semantic Structures

1994 · ENGLISH · DJVU

View details →

LIBRARY

Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

1992 · ENGLISH · DJVU

View details →

LIBRARY

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

2010 · ENGLISH · PDF

View details →

LIBRARY

Introduction to Categories and Categorial Logic (draft)

2011 · ENGLISH · PDF

View details →

LIBRARY

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

1991 · ENGLISH · PDF

View details →

LIBRARY

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

2010 · ENGLISH · PDF

View details →

LIBRARY

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

2001 · ENGLISH · PDF

View details →

LIBRARY

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

2003 · ENGLISH · PDF

View details →

LIBRARY

Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings

1994 · ENGLISH · DJVU

View details →

LIBRARY

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

1991 · ENGLISH · DJVU

View details →

LIBRARY

Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

1998 · ENGLISH · DJVU

View details →