Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/lcc/lcc94.bht:"
@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} }
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.