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/csl/csl87.bht:"
download as .bib file
@proceedings{DBLP:conf/csl/1987,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50241-6},
doi = {10.1007/3-540-50241-6},
isbn = {3-540-50241-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Ambos-SpiesFH87,
author = {Klaus Ambos{-}Spies and
Hans Fleischhack and
Hagen Huwig},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Diagonalizing over Deterministic Polynomial Time},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {1--16},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_25},
doi = {10.1007/3-540-50241-6\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Ambos-SpiesFH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BlasiusH87,
author = {Karl{-}Hans Bl{\"{a}}sius and
Ulrich Hedtst{\"{u}}ck},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Resolution with Feature Unification},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {17--26},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_26},
doi = {10.1007/3-540-50241-6\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BlasiusH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BohmP87,
author = {Corrado B{\"{o}}hm and
Adolfo Piperno},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Surjectivity for Finite Sets of Combinators by Weak Reduction},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {27--43},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_27},
doi = {10.1007/3-540-50241-6\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BohmP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BryM87,
author = {Fran{\c{c}}ois Bry and
Rainer Manthey},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Proving Finite Satisfiability of Deductive Databases},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {44--55},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_28},
doi = {10.1007/3-540-50241-6\_28},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BryM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Dahlhaus87,
author = {Elias Dahlhaus},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Is {SETL} a Suitable Language for Parallel Programming - {A} Theoretical
Approach},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {56--63},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_29},
doi = {10.1007/3-540-50241-6\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Dahlhaus87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GermanoM87,
author = {Giorgio Germano and
Stefano Mazzanti},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Loose Diagrams, Semigroupoids, Categories, Groupoids and Iteration},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {64--80},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_30},
doi = {10.1007/3-540-50241-6\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GermanoM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GurevichM87,
author = {Yuri Gurevich and
James M. Morris},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Algebraic Operational Semantics and Modula-2},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {81--101},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_31},
doi = {10.1007/3-540-50241-6\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GurevichM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HeiselRS87,
author = {Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Program Verification Using Dynamic Logic},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {102--117},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_32},
doi = {10.1007/3-540-50241-6\_32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HeiselRS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Jager87,
author = {Gerhard J{\"{a}}ger},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Induction in the Elementary Theory of Types and Names},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {118--128},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_33},
doi = {10.1007/3-540-50241-6\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Jager87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KarpinskiBS87,
author = {Marek Karpinski and
Hans Kleine{ }B{\"{u}}ning and
Peter H. Schmitt},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On the Computational Complexity of Quantified Horn Clauses},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {129--137},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_34},
doi = {10.1007/3-540-50241-6\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KarpinskiBS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Leiss87,
author = {Hans Lei{\ss}},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On Type Inference for Object-Oriented Programming Languages},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {151--172},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_36},
doi = {10.1007/3-540-50241-6\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Leiss87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/LenzW87,
author = {Katja Lenz and
Ingo Wegener},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {The Conjunctive Complexity of Quadratic Boolean Functions},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {138--150},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_35},
doi = {10.1007/3-540-50241-6\_35},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/LenzW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Lowen87,
author = {Ulrich L{\"{o}}wen},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Optimization Aspects of Logical Formulas},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {173--187},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_37},
doi = {10.1007/3-540-50241-6\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Lowen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Rasiowa87,
author = {Helena Rasiowa},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Logic of Approximation Reasoning},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {188--210},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_38},
doi = {10.1007/3-540-50241-6\_38},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Rasiowa87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RehrmannP87,
author = {Ralf Rehrmann and
Lutz Priese},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Deciding the Path- and Word-Fair Equivalence Problem},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {211--222},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_39},
doi = {10.1007/3-540-50241-6\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/RehrmannP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RinnS87,
author = {Reinhard Rinn and
Britta Schinzel},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Learning by Teams from Examples with Errors},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {223--234},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_40},
doi = {10.1007/3-540-50241-6\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/RinnS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schmitt87,
author = {Peter H. Schmitt},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {A Survey of Rewrite Systems},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {235--262},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_41},
doi = {10.1007/3-540-50241-6\_41},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schmitt87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schonfeld87,
author = {Wolfgang Sch{\"{o}}nfeld},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Interfacing a Logic Machine},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {263--272},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_42},
doi = {10.1007/3-540-50241-6\_42},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schonfeld87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schoning87,
author = {Uwe Sch{\"{o}}ning},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Complexity Cores and Hard-To-Prove Formulas},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {273--280},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_43},
doi = {10.1007/3-540-50241-6\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schoning87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Speckenmeyer87,
author = {Ewald Speckenmeyer},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On the Average Case Complexity of Backtracking for the Exact-Satisfiability
Problem},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {281--288},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_44},
doi = {10.1007/3-540-50241-6\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Speckenmeyer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Spreen87,
author = {Dieter Spreen},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On Functions Computable in Nondeterministic Polynomial Time: Some
Characterizations},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {289--303},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_45},
doi = {10.1007/3-540-50241-6\_45},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Spreen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/StepankovaS87,
author = {Olga Step{\'{a}}nkov{\'{a}} and
Petr Step{\'{a}}nek},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Developing Logic Programs: Computing Through Normalizing},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {304--321},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_46},
doi = {10.1007/3-540-50241-6\_46},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/StepankovaS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Volger87,
author = {Hugo Volger},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Model Theory of Deductive Databases},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {322--334},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_47},
doi = {10.1007/3-540-50241-6\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Volger87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Weber87,
author = {Andreas Weber},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Algorithms for Propositional Updates},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {335--346},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_48},
doi = {10.1007/3-540-50241-6\_48},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Weber87.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-24 18:22 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:
