Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995
    DBLP: db/conf/lcc/lcc94.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 25  
    Select a publication
    Show Title Venue Rating Date
    Stephen Bellantoni.
    Characterizing Parallel Time by Type 2 Recursions With Polynomial Output Length.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994
    Ulrich Berger, Helmut Schwichtenberg.
    Program Extraction from Classical Proofs.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994
    Stephen A. Bloch.
    On Parallel Hierarchies and R_k^i.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994
    Samuel R. Buss.
    On Herbrand's Theorem.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994
    Felice Cardone.
    Strict Finitism and Feasibility.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994
    Douglas A. Cenzer, Jeffrey B. Remmel.
    Feasibly Categorial Models.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994
    Peter Clote.
    Computational Models and Function Algebras.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994
    Robert L. Constable.
    Expressing Computational Complexity in Constructive Type Theory.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994
    Anuj Dawar.
    A Restricted Second Order Logic for Finite Structures.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994
    Ronald Fagin.
    Comparing the Power of Monadic NP Games.
    Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 1995 (0) 1994

    Your query returned 25 matches in the database.