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/aiml/aiml2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/aiml/AlechinaS06,
author = {Natasha Alechina and
Dmitry Shkatov},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Logics with an existential modality},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {31--48},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Alechina-Shkatov.ps},
timestamp = {Wed, 17 Jan 2024 09:57:50 +0100},
biburl = {https://dblp.org/rec/conf/aiml/AlechinaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Balbiani06,
author = {Philippe Balbiani},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {An expressive two-sorted spatial logic for plane projective geometry},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {49--68},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Balbiani.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Balbiani06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BalbianiSS06,
author = {Philippe Balbiani and
Ilya Shapirovsky and
Valentin B. Shehtman},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Every world can see a Sahlqvist world},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {69--85},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Balbiani-Shapirovsky-Shehtman.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BalbianiSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BenthemP06,
author = {Johan van Benthem and
Eric Pacuit},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {The Tree of Knowledge in Action: Towards a Common Perspective},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {87--106},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/vanBenthem-Pacuit.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BenthemP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Brunnler06,
author = {Kai Br{\"{u}}nnler},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Deep Sequent Systems for Modal Logic},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {107},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Bruennler.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Brunnler06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/ChagrovC06,
author = {Alexander V. Chagrov and
Lilia Chagrova},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {The Truth About Algorithmic Problems in Correspondence Theory},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {121--138},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Chagrov-Chagrova.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/ChagrovC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Fontaine06,
author = {Ga{\"{e}}lle Fontaine},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {{ML} is not finitely axiomatizable over Cheq},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {139--146},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Fontaine.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Fontaine06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/French06,
author = {Tim French},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Bisimulation Quantified Modal Logics: Decidability},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {147--166},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/French.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/French06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GasquetHS06,
author = {Olivier Gasquet and
Andreas Herzig and
Mohamad Sahade},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Terminating modal tableaux with simple completeness proof},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {167--186},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Gasquet-Herzig-Sahade.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GasquetHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GhilardiLWZ06,
author = {Silvio Ghilardi and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Conservative extensions in modal logic},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {187--207},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Ghilardi-Lutz-Wolter-Zakharyaschev.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GhilardiLWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Goldblatt06,
author = {Robert Goldblatt},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {A Kripke-Joyal Semantics for Noncommutative Logic in Quantales},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {209--225},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Goldblatt.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Goldblatt06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GoldblattM06,
author = {Robert Goldblatt and
Edwin D. Mares},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {A General Semantics for Quantified Modal Logic},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {227--246},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Goldblatt-Mares.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GoldblattM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Gorbunov06,
author = {Igor Gorbunov},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {A decidable modal logic that is finitely undecidable},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {247--258},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Gorbunov.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Gorbunov06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Heinemann06,
author = {Bernhard Heinemann},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Regarding Overlaps in 'Topologic'},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {259--277},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Heinemann.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Heinemann06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Humberstone06,
author = {Lloyd Humberstone},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Weaker-to-Stronger Translational Embeddings in Modal Logic},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {279--297},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Humberstone.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Humberstone06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KonevKWZ06,
author = {Boris Konev and
Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Dynamic topological logics over spaces with continuous functions},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {299--318},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Konev-Kontchakov-Wolter-Zakharyaschev.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KonevKWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Kudinov06,
author = {Andrey Kudinov},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Topological Modal Logics with Difference Modality},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {319--332},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Kudinov.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Kudinov06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Litak06,
author = {Tadeusz Litak},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Isomorphism via translation},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {333--351},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Litak.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Litak06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Martin06,
author = {Eric Martin},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Quantification over names and modalities},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {353--372},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Martin.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Martin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Nguyen06,
author = {Linh Anh Nguyen},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {On the Deterministic Horn Fragment of Test-free {PDL}},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {373--392},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Nguyen.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Nguyen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Rybakov06,
author = {Mikhail N. Rybakov},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Complexity of intuitionistic and Visser's basic and formal logics
in finitely many variables},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {393--411},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Rybakov.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Rybakov06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Schmidt06,
author = {Renate A. Schmidt},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Developing Modal Tableaux and Resolution Methods via First-Order Resolution},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {1--26},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Schmidt.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Schmidt06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Shapirovsky06,
author = {Ilya Shapirovsky},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Downward-directed transitive frames with universal relations},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {413--428},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Shapirovsky.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Shapirovsky06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Shehtman06,
author = {Valentin B. Shehtman},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Completeness and incompleteness in first-order modal logic: an overview},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {27--30},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Shehtman.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Shehtman06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/SheremetTWZ06,
author = {Mikhail Sheremet and
Dmitry Tishkovsky and
Frank Wolter and
Michael Zakharyaschev},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {From topology to metric: modal logic and quantification in metric
spaces},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {429--448},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Sheremet-Tishkovsky-Wolter-Zakharyaschev.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/SheremetTWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Silvestre06,
author = {Ricardo Sousa Silvestre},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Modality, Paraconsistency and Paracompleteness},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {449--467},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/SousaSilvestre.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Silvestre06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Takamura06,
author = {Hiroki Takamura},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {The variety of modal FL\({}_{\mbox{ew}}\)-algebras is generated by
its finite simple members},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {469--479},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Takamura.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Takamura06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/TulenheimoS06,
author = {Tero Tulenheimo and
Merlijn Sevenster},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {On Modal Logic, {IF} Logic, and {IF} Modal Logic},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {481--501},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Tulenheimo-Sevenster.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/TulenheimoS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Wansing06,
author = {Heinrich Wansing},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Tableaux for multi-agent deliberative-stit logic},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {503--520},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Wansing.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Wansing06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2006,
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/},
isbn = {1-904987-20-6},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/2006.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-05-28 13:45 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:
