Subject: Mathematical Theory of Computation
Save search
Select how you would like to sort the search results
Front Matter

Title Pages Get access

Alessandra Carbone and Stephen Semmes
in A Graphic Apology for Symmetry and Implicitness
Published: 29 June 2000
Chapter

Introduction Get access

Alessandra Carbone and Stephen Semmes
in A Graphic Apology for Symmetry and Implicitness
Published: 29 June 2000
Chapter

Morphisms In Logic And Complexity Get access

Alessandra Carbone and Stephen Semmes
in A Graphic Apology for Symmetry and Implicitness
Published: 29 June 2000
Chapter

Bounds For Finite Visibilities Get access

Alessandra Carbone and Stephen Semmes
in A Graphic Apology for Symmetry and Implicitness
Published: 29 June 2000
Chapter

Duality And Np-Completeness Get access

Alessandra Carbone and Stephen Semmes
in A Graphic Apology for Symmetry and Implicitness
Published: 29 June 2000
Chapter

Finite Automata And Regular Languages Get access

Alessandra Carbone and Stephen Semmes
in A Graphic Apology for Symmetry and Implicitness
Published: 29 June 2000
Chapter

Stronger Forms Of Recursion Get access

Alessandra Carbone and Stephen Semmes
in A Graphic Apology for Symmetry and Implicitness
Published: 29 June 2000
Chapter

The Corona Decomposition Revisited Get access

Alessandra Carbone and Stephen Semmes
in A Graphic Apology for Symmetry and Implicitness
Published: 29 June 2000
Front Matter

Contributors Get access

in Advances in Logic Programming Theory
Published: 29 December 1994
Chapter

Modular Termination Proofs for Logic and Pure PROLOG Programs Get access

Krzysztof R Apt and Dino Pedreschi
in Advances in Logic Programming Theory
Published: 29 December 1994
Front Matter

Title Pages Get access

in Substructural Logics
Published: 16 December 1993
Chapter

Partial Gaggles Applied to Logics with Restricted Structural Rules Get access

J Michael Dunn
in Substructural Logics
Published: 16 December 1993
Chapter

A General Theory of Structured Consequence Relations Get access

Dov M Gabbay
in Substructural Logics
Published: 16 December 1993
Chapter

Logic Without Structural Rules (Another Look at Cut Elimination) Get access

Joachim Lambek
in Substructural Logics
Published: 16 December 1993
Chapter

The Semantics of Entailment 0 Get access

Robert K Meyer and Edwin D Mares
in Substructural Logics
Published: 16 December 1993
Chapter

The Semantics of Pretopologies Get access

Giovanni Sambin
in Substructural Logics
Published: 16 December 1993
Chapter

Tutorial on Linear Logic Get access

A S Troelstra
in Substructural Logics
Published: 16 December 1993
Front Matter

Preface Get access

G M Reed
in Topology and Category Theory in Computer Science
Published: 01 August 1991
Chapter

The soundness and completeness of axioms for CSP processes Get access

Stephen Blamey
in Topology and Category Theory in Computer Science
Published: 01 August 1991
Chapter

Order and strongly sober compactifications Get access

J D Lawson
in Topology and Category Theory in Computer Science
Published: 01 August 1991