default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/csl/csl88.bht:"
download as .bib file
@proceedings{DBLP:conf/csl/1988,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0026291},
doi = {10.1007/BFB0026291},
isbn = {3-540-51659-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Ambos-SpiesK88,
author = {Klaus Ambos{-}Spies and
J{\"{u}}rgen K{\"{a}}mper},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On Disjunctive Self-Reducibility},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {1--13},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026292},
doi = {10.1007/BFB0026292},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Ambos-SpiesK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BeierleDPRSS88,
author = {Christoph Beierle and
Jochen D{\"{o}}rre and
Udo Pletat and
Claus{-}Rainer Rollinger and
Peter H. Schmitt and
Rudi Studer},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {The Knowledge Representation Language L\({}_{\mbox{LILOG}}\)},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {14--51},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026293},
doi = {10.1007/BFB0026293},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BeierleDPRSS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BuningLS88,
author = {Hans Kleine{ }B{\"{u}}ning and
Ulrich L{\"{o}}wen and
Stefan Schmitgen},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Loop Detection in Propositional Prolog Programs},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {148--165},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026300},
doi = {10.1007/BFB0026300},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BuningLS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Dahlhaus88,
author = {Elias Dahlhaus},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Completeness with Respect to Interpretations in Deterministic and
Nondeterministic Polynomial Time},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {52--62},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026294},
doi = {10.1007/BFB0026294},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Dahlhaus88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DaneluttoM88,
author = {Marco Danelutto and
Andrea Masini},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {A temporal Logic Approach to Specify and to Prove Properties of Finite
State Concurrent Systems},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {63--79},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026295},
doi = {10.1007/BFB0026295},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/DaneluttoM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Eder88,
author = {Elmar Eder},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {A Comparison of the Resolution Caculus and the Connection Method,
and a new Calculus Generalizing Both Methods},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {80--98},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026296},
doi = {10.1007/BFB0026296},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Eder88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Goerdt88,
author = {Andreas Goerdt},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Characterizing Complexity Classes by General Recursive Definitions
in Higher Types},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {99--117},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026297},
doi = {10.1007/BFB0026297},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Goerdt88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Gradel88,
author = {Erich Gr{\"{a}}del},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Size of Models versus Length of Computations: On Inseparability by
Nondeterministic Time Complexity Classes},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {118--137},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026298},
doi = {10.1007/BFB0026298},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Gradel88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Karpinski88,
author = {Marek Karpinski},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Boolean Complexity of Algebraic Interpolation Problems},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {138--147},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026299},
doi = {10.1007/BFB0026299},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Karpinski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kummer88,
author = {Martin Kummer},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Numberings of R\({}_{\mbox{1}}\) union {F}},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {166--186},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026301},
doi = {10.1007/BFB0026301},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kummer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Lippert88,
author = {D. Lippert},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Interval Temporal Logic and Star-Free Expressions},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {187--198},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026302},
doi = {10.1007/BFB0026302},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Lippert88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Luttringhaus88,
author = {Stefan L{\"{u}}ttringhaus},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {An Interpreter with Lazy Evaluation for Prolog with Functions},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {199--225},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026303},
doi = {10.1007/BFB0026303},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Luttringhaus88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Niemela88,
author = {Ilkka Niemel{\"{a}}},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On the Complexity of the Decision Problem in Propositional Nonmonotonic
Logic},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {226--239},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026304},
doi = {10.1007/BFB0026304},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Niemela88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/OchozkaSS88,
author = {V{\'{\i}}t Ochozka and
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 = {Normal Forms and the Complexity of Computations of Logic Programs},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {357--371},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026313},
doi = {10.1007/BFB0026313},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/OchozkaSS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Paech88,
author = {Barbara Paech},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Gentzen-Systems for Propositional Temporal Logics},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {240--253},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026305},
doi = {10.1007/BFB0026305},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Paech88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Plumer88,
author = {Lutz Pl{\"{u}}mer},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Predicate Inequalities as a Basis for Automated Termination Proofs
for Prolog Programs},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {254--271},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026306},
doi = {10.1007/BFB0026306},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Plumer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Priese88,
author = {Lutz Priese},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On the Existence of Fair Schedulers},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {272--287},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026307},
doi = {10.1007/BFB0026307},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Priese88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SaakeL88,
author = {Gunter Saake and
Udo W. Lipeck},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Using Finite-Linear Temporal Logic for Specifying Database Dynamics},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {288--300},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026308},
doi = {10.1007/BFB0026308},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/SaakeL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schatz88,
author = {R{\"{u}}diger Sch{\"{a}}tz},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Delete Operations and Horn Formulas},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {329--343},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026311},
doi = {10.1007/BFB0026311},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schatz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SchonfeldS88,
author = {Wolfgang Sch{\"{o}}nfeld and
Werner Stephan},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Integration of Descriptive and Procedural Language Constructs},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {344--356},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026312},
doi = {10.1007/BFB0026312},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/SchonfeldS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Speckenmeyer88,
author = {Ewald Speckenmeyer},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Is Average Superlinear Speedup Possible?},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {301--312},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026309},
doi = {10.1007/BFB0026309},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Speckenmeyer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SudkampK88,
author = {Norbert S{\"{u}}dkamp and
Peter Kandzia},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Enforcement of Integrity Constraints in a Semantic Data Model},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {313--328},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026310},
doi = {10.1007/BFB0026310},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/SudkampK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/VoigtW88,
author = {Bernd Voigt and
Ingo Wegener},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {A Remark on Minimal Polynomials of Boolean Functions},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {372--383},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026314},
doi = {10.1007/BFB0026314},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/VoigtW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Wagner88,
author = {Hubert Wagener},
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {On the Emptiness Problem of Tree Automata and Completeness of Modal
Logics of Programs},
booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
pages = {384--399},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0026315},
doi = {10.1007/BFB0026315},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Wagner88.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.
retrieved on 2024-12-19 03:58 CET 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:
