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/lics/lics87.bht:"
download as .bib file
@inproceedings{DBLP:conf/lics/Abadi87,
author = {Mart{\'{\i}}n Abadi},
title = {The Power of Temporal Proofs},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {123--130},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Abadi87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Abramsky87,
author = {Samson Abramsky},
title = {Domain Theory in Logical Form},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {47--53},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Abramsky87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Allen87,
author = {Stuart Allen},
title = {A Non-Type-Theoretic Definition of Martin-L{\"{o}}f's Types},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {215--221},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Allen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlpernS87,
author = {Bowen Alpern and
Fred B. Schneider},
title = {Proving Boolean Combinations of Deterministic Properties},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {131--137},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlpernS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BachmairD87,
author = {Leo Bachmair and
Nachum Dershowitz},
title = {Inference Rules for Rewrite-Based First-Order Theorem Proving},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {331--337},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BachmairD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BidoitF87,
author = {Nicole Bidoit and
Christine Froidevaux},
title = {Minimalism subsumes Default Logic and Circumscription in Stratified
Logic Programming},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {89--97},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BidoitF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BohmT87,
author = {Corrado B{\"{o}}hm and
Enrico Tronci},
title = {X-Separability and Left-Invertibility in lambda-calculus},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {320--328},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BohmT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Breazu-TannenM87,
author = {Val Tannen and
Albert R. Meyer},
title = {Polymorphism is conservative over simple types (Preliminary Report)},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {7--17},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Breazu-TannenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ConstableS87,
author = {Robert L. Constable and
Scott F. Smith},
title = {Partial Objects In Constructive Type Theory},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {183--193},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Fri, 29 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ConstableS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DauchetTHL87,
author = {Max Dauchet and
Sophie Tison and
Thierry Heuillard and
Pierre Lescanne},
title = {Decidability of the Confluence of Ground Term Rewriting Systems},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {353--359},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DauchetTHL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Emden87,
author = {Maarten H. van Emden},
title = {First-order Predicate Logic as a Common Basis for Relational and Functional
Programming (Abstract)},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {179},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Emden87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FaginH87,
author = {Ronald Fagin and
Joseph Y. Halpern},
title = {I'm {OK} if You're {OK:} On the Notion of Trusting Communication},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {280--292},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FaginH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FreydS87,
author = {Peter J. Freyd and
Andre Scedrov},
title = {Some Semantic Aspects of Polymorphic Lambda Calculus},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {315--319},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FreydS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GaifmanMSV87,
author = {Haim Gaifman and
Harry G. Mairson and
Yehoshua Sagiv and
Moshe Y. Vardi},
title = {Undecidable Optimization Problems for Database Logic Programs},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {106--115},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GaifmanMSV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GaifmanP87,
author = {Haim Gaifman and
Vaughan R. Pratt},
title = {Partial Order Models of Concurrency and the Computation of Functions},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {72--85},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GaifmanP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GallierRS87,
author = {Jean H. Gallier and
Stan Raatz and
Wayne Snyder},
title = {Theorem Proving Using Rigid E-Unification Equational Matings},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {338--346},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GallierRS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Goerdt87,
author = {Andreas Goerdt},
title = {Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative
Languages},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {293--299},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Goerdt87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GoguenM87,
author = {Joseph A. Goguen and
Jos{\'{e}} Meseguer},
title = {Order-Sorted Algebra solves the Constructor-Selector, Multiple},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {18--29},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GoguenM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HalpernW87,
author = {Joseph Y. Halpern and
Edward L. Wimmers},
title = {Full Abstraction and Expressive Completenes for {FP}},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {257--271},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HalpernW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HarelPSS87,
author = {David Harel and
Amir Pnueli and
Jeanette P. Schmidt and
Rivi Sherman},
title = {On the Formal Semantics of Statecharts (Extended Abstract)},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {54--64},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HarelPSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HarperHP87,
author = {Robert Harper and
Furio Honsell and
Gordon D. Plotkin},
title = {A Framework for Defining Logics},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {194--204},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Tue, 14 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HarperHP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Howe87,
author = {Douglas J. Howe},
title = {The Computational Behaviour of Girard's Paradox},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {205--214},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Howe87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ImmermanK87,
author = {Neil Immerman and
Dexter Kozen},
title = {Definability with Bounded Number of Bound Variables},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {236--244},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ImmermanK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KfouryTU87,
author = {A. J. Kfoury and
Jerzy Tiuryn and
Pawel Urzyczyn},
title = {The Hierarchy of Finitely Typed Functional Programs (Short Version)},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {225--235},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KfouryTU87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KirchnerL87,
author = {Claude Kirchner and
Pierre Lescanne},
title = {Solving Disequations},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {347--352},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KirchnerL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Mendler87,
author = {Nax Paul Mendler},
title = {Recursive Types and Type Constraints in Second-Order Lambda Calculus},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {30--36},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Mendler87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MillerNS87,
author = {Dale Miller and
Gopalan Nadathur and
Andre Scedrov},
title = {Hereditary Harrop Formulas and Uniform Proof Systems},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MillerNS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Milner87,
author = {Robin Milner},
title = {Some Uses of Maximal Fixed Points (Abstract of Invited Lecture)},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Milner87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MitchellM87,
author = {John C. Mitchell and
Eugenio Moggi},
title = {Kripke-Style models for typed lambda calculus},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {303--314},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MitchellM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Reynolds87,
author = {John C. Reynolds},
title = {Conjunctive Types and Algol-like Languages},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {119},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Reynolds87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Seely87,
author = {Robert A. G. Seely},
title = {Modelling Computations: {A} 2-Categorical Framework},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {65--71},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Seely87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Shoham87,
author = {Yoav Shoham},
title = {A Semantical Approach to Nonmonotic Logics},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {275--279},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Shoham87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SistlaG87,
author = {A. Prasad Sistla and
Steven M. German},
title = {Reasoning with Many Processes},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {138--152},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/SistlaG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SistlaZ87,
author = {A. Prasad Sistla and
Lenore D. Zuck},
title = {On the Eventuality Operator in Temporal Logic},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {153--166},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/SistlaZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Thomas87,
author = {Wolfgang Thomas},
title = {On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {245--256},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Thomas87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Vardi87,
author = {Moshe Y. Vardi},
title = {Verification of Concurrent Programs: The Automata-Theoretic Framework},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {167--176},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Vardi87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Wand87,
author = {Mitchell Wand},
title = {Complete Type Inference for Simple Objects},
booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
pages = {37--44},
publisher = {{IEEE} Computer Society},
year = {1987},
url = {http://www.ccs.neu.edu/home/wand/papers/wand-lics-87.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Wand87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1987,
title = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
'87), Ithaca, New York, USA, June 22-25, 1987},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Tue, 19 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/1987.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-06-16 21:48 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:
