Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lcc/lcc94.bht:"
download as .bib file
@proceedings{DBLP:conf/lcc/1994,
editor = {Daniel Leivant},
title = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60178-3},
doi = {10.1007/3-540-60178-3},
isbn = {3-540-60178-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Bellantoni94,
author = {Stephen J. Bellantoni},
editor = {Daniel Leivant},
title = {Characterizing Parallel Time by Type 2 Recursions With Polynomial
Output Length},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {253--268},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_88},
doi = {10.1007/3-540-60178-3\_88},
timestamp = {Thu, 09 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Bellantoni94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/BergerS94,
author = {Ulrich Berger and
Helmut Schwichtenberg},
editor = {Daniel Leivant},
title = {Program Extraction from Classical Proofs},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {77--97},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_80},
doi = {10.1007/3-540-60178-3\_80},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/BergerS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Bloch94,
author = {Stephen A. Bloch},
editor = {Daniel Leivant},
title = {On Parallel Hierarchies and R{\_}ki},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {52--76},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_79},
doi = {10.1007/3-540-60178-3\_79},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Bloch94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Buss94,
author = {Samuel R. Buss},
editor = {Daniel Leivant},
title = {On Herbrand's Theorem},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {195--209},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_85},
doi = {10.1007/3-540-60178-3\_85},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Buss94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Cardone94,
author = {Felice Cardone},
editor = {Daniel Leivant},
title = {Strict Finitism and Feasibility},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {1--21},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_76},
doi = {10.1007/3-540-60178-3\_76},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Cardone94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/CenzerR94,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
editor = {Daniel Leivant},
title = {Feasibly Categorial Models},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {300--312},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_91},
doi = {10.1007/3-540-60178-3\_91},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/CenzerR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Clote94,
author = {Peter Clote},
editor = {Daniel Leivant},
title = {Computational Models and Function Algebras},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {98--130},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_81},
doi = {10.1007/3-540-60178-3\_81},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Clote94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Constable94,
author = {Robert L. Constable},
editor = {Daniel Leivant},
title = {Expressing Computational Complexity in Constructive Type Theory},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {131--144},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_82},
doi = {10.1007/3-540-60178-3\_82},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Constable94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Dawar94,
author = {Anuj Dawar},
editor = {Daniel Leivant},
title = {A Restricted Second Order Logic for Finite Structures},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {393--413},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_94},
doi = {10.1007/3-540-60178-3\_94},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcc/Dawar94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Fagin94,
author = {Ronald Fagin},
editor = {Daniel Leivant},
title = {Comparing the Power of Monadic {NP} Games},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {414--425},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_95},
doi = {10.1007/3-540-60178-3\_95},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Fagin94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Girard94,
author = {Jean{-}Yves Girard},
editor = {Daniel Leivant},
title = {Light Linear Logic},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {145--176},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_83},
doi = {10.1007/3-540-60178-3\_83},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcc/Girard94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/GradelG94,
author = {Erich Gr{\"{a}}del and
Yuri Gurevich},
editor = {Daniel Leivant},
title = {Metafinite Model Theory},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {313--366},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_92},
doi = {10.1007/3-540-60178-3\_92},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/GradelG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/GrumbachST94,
author = {St{\'{e}}phane Grumbach and
Jianwen Su and
Christophe Tollu},
editor = {Daniel Leivant},
title = {Linear Constraint Query Languages: Expressive Power and Complexity},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {426--446},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_96},
doi = {10.1007/3-540-60178-3\_96},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/GrumbachST94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/KhoussainovN94,
author = {Bakhadyr Khoussainov and
Anil Nerode},
editor = {Daniel Leivant},
title = {Automatic Presentations of Structures},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {367--392},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_93},
doi = {10.1007/3-540-60178-3\_93},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/KhoussainovN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/KrajicekP94,
author = {Jan Kraj{\'{\i}}cek and
Pavel Pudl{\'{a}}k},
editor = {Daniel Leivant},
title = {Some Consequences of Cryptographical Conjectures for S{\_}21 and {EF}},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {210--220},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_86},
doi = {10.1007/3-540-60178-3\_86},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/KrajicekP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Leivant94,
author = {Daniel Leivant},
editor = {Daniel Leivant},
title = {Intrinsic Theories and Computational Complexity},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {177--194},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_84},
doi = {10.1007/3-540-60178-3\_84},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Leivant94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Lindell94,
author = {Steven Lindell},
editor = {Daniel Leivant},
title = {A Constant-Space Sequential Model of Computation for First-Order Logic},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {447--462},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_97},
doi = {10.1007/3-540-60178-3\_97},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Lindell94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/MakowskyP94,
author = {Johann A. Makowsky and
Y. B. Pnueli},
editor = {Daniel Leivant},
title = {Logics Capturing Relativized Complexity Classes Uniformly},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {463--479},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_98},
doi = {10.1007/3-540-60178-3\_98},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/MakowskyP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Parikh94,
author = {Rohit Parikh},
editor = {Daniel Leivant},
title = {Logical Omniscience},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {22--29},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_77},
doi = {10.1007/3-540-60178-3\_77},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Parikh94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/RosenW94,
author = {Eric Rosen and
Scott Weinstein},
editor = {Daniel Leivant},
title = {Preservation Theorems in Finite Model Theory},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {480--502},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_99},
doi = {10.1007/3-540-60178-3\_99},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/RosenW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Sazonov94,
author = {Vladimir Yu. Sazonov},
editor = {Daniel Leivant},
title = {On Feasible Numbers},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {30--51},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_78},
doi = {10.1007/3-540-60178-3\_78},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcc/Sazonov94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Seth94,
author = {Anil Seth},
editor = {Daniel Leivant},
title = {Type 2 Polynomial Hierarchies},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {269--280},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_89},
doi = {10.1007/3-540-60178-3\_89},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Seth94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/SuciuT94,
author = {Dan Suciu and
Val Tannen},
editor = {Daniel Leivant},
title = {A Query Language for {NC}},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {503--514},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_100},
doi = {10.1007/3-540-60178-3\_100},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcc/SuciuT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Takeuti94,
author = {Gaisi Takeuti},
editor = {Daniel Leivant},
title = {Frege Proof System and TNC{\textdegree}},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {221--252},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_87},
doi = {10.1007/3-540-60178-3\_87},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Takeuti94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Wainer94,
author = {Stanley S. Wainer},
editor = {Daniel Leivant},
title = {The Hierarchy of terminating Recursive Programs over {N}},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {281--299},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_90},
doi = {10.1007/3-540-60178-3\_90},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Wainer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-19 23:44 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
