Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Computer Science Logic
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / edited by Laurent Fribourg.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Fribourg, Laurent
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2001.
Edition:
1st ed. 2001.
Series:
Lecture Notes in Computer Science,
2142
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Artificial intelligence.
Mathematical logic.
Computer logic.
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Table of Contents:
Invited Papers
Local Reasoning about Programs that Alter Data Structures
Applications of Alfred Tarski’s Ideas in Database Theory
Locus Solum: From the Rules of Logic to the Logic of Rules
Contributed Papers
The Expressive Power of Horn Monadic Linear Logic
Non-commutativity and MELL in the Calculus of Structures
Quadratic Correctness Criterion for Non-commutative Logic
Descriptive Complexity
Capture Complexity by Partition
An Existential Locality Theorem
Actual Arithmetic and Feasibility
The Natural Order-Generic Collapse for ?-Representable Databases over the Rational and the Real Ordered Group
Semantics
An Algebraic Foundation for Higraphs
Semantic Characterisations of Second-Order Computability over the Real Numbers
An Abstract Look at Realizability
The Anatomy of Innocence
Higher-Order Programs
An Improved Extensionality Criterion for Higher-Order Logic Programs
A Logic for Abstract State Machines
Constrained Hyper Tableaux
Modal Logics
Modal Logic and the Two-Variable Fragment
A Logic for Approximate First-Order Reasoning
Inflationary Fixed Points in Modal Logic
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Verification
Labelled Natural Deduction for Interval Logics
Decidable Navigation Logics for Object Structures
The Decidability of Model Checking Mobile Ambients
Automata
A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem
An Effective Extension of the Wagner Hierarchy to Blind Counter Automata
Decision Procedure for an Extension of WS1S
Lambda-Calculus
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic
Intersection Logic
Life without the Terminal Type
Fully Complete Minimal PER Models for the Simply Typed ?-Calculus
Induction
A Principle of Induction
On a Generalisation of Herbrand’s Theorem
Well-Founded Recursive Relations
Equational Calculus
Stratified Context Unification Is in PSPACE
Uniform Derivation of Decision Procedures by Superposition
Complete Categorical Equational Deduction
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories
Constructive Theory of Types
Normalized Types
Markov’s Principle for Propositional Type Theory
Recursion for Higher-Order Encodings
Monotone Inductive and Coinductive Constructors of Rank 2.
Similar Items
Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Published: (2002)
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Published: (2006)
Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Published: (2004)
Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Published: (2007)
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Published: (2005)