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.