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/journals/igpl/igpl5.bht:"
download as .bib file
@article{DBLP:journals/igpl/Avron97,
author = {Arnon Avron},
title = {Multiplicative Conjunction as an Extensional Conjunction},
journal = {Log. J. {IGPL}},
volume = {5},
number = {2},
pages = {181--208},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.2.181},
doi = {10.1093/JIGPAL/5.2.181},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Avron97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Benthem97,
author = {Johan van Benthem},
title = {Modal Foundations for Predicate Logic},
journal = {Log. J. {IGPL}},
volume = {5},
number = {2},
pages = {259--286},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.2.259},
doi = {10.1093/JIGPAL/5.2.259},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Benthem97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Blass97,
author = {Andreas Blass},
title = {Some Semantical Aspects of Linear Logic},
journal = {Log. J. {IGPL}},
volume = {5},
number = {4},
pages = {487--503},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.4.487},
doi = {10.1093/JIGPAL/5.4.487},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Blass97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CerritoM97,
author = {Serenella Cerrito and
Marta Cialdea Mayer},
title = {A Polynomial Translation of {S4} into {T} and Contraction-Free Tableaux
for {S4}},
journal = {Log. J. {IGPL}},
volume = {5},
number = {2},
pages = {287--300},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.2.287},
doi = {10.1093/JIGPAL/5.2.287},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CerritoM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DOttavianoCSW97,
author = {Itala M. Loffredo D'Ottaviano and
Walter Alexandre Carnielli and
Antonio Mario Sette and
Michael B. Wrigley},
title = {{XI} Brazilian Conference on Mathematical Logic},
journal = {Log. J. {IGPL}},
volume = {5},
number = {3},
pages = {1--38},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.3.1-f},
doi = {10.1093/JIGPAL/5.3.1-F},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DOttavianoCSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DunnM97,
author = {J. Michael Dunn and
Robert K. Meyer},
title = {Combinators and Structurally Free Logic},
journal = {Log. J. {IGPL}},
volume = {5},
number = {4},
pages = {505--537},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.4.505},
doi = {10.1093/JIGPAL/5.4.505},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DunnM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Eijck97,
author = {Jan van Eijck},
title = {Typed Logics With States},
journal = {Log. J. {IGPL}},
volume = {5},
number = {5},
pages = {623--645},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.5.623},
doi = {10.1093/JIGPAL/5.5.623},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Eijck97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FingerKGK97,
author = {Marcelo Finger and
Rodger Kibble and
Dov M. Gabbay and
Ruth Kempson},
title = {Parsing Natural Language using {LDS:} {A} Prototype},
journal = {Log. J. {IGPL}},
volume = {5},
number = {5},
pages = {647--671},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.5.647},
doi = {10.1093/JIGPAL/5.5.647},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FingerKGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FlachK97,
author = {Peter A. Flach and
Antonis C. Kakas},
title = {Abductive and Inductive Reasoning: Report of the ECAI'96 Workshop},
journal = {Log. J. {IGPL}},
volume = {5},
number = {5},
pages = {773--778},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.5.773},
doi = {10.1093/JIGPAL/5.5.773},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FlachK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Font97,
author = {Josep Maria Font},
title = {Belnap's Four-Valued Logic and De Morgan Lattices},
journal = {Log. J. {IGPL}},
volume = {5},
number = {3},
pages = {1--29},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.3.1-e},
doi = {10.1093/JIGPAL/5.3.1-E},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Font97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FriasHV97,
author = {Marcelo F. Frias and
Armando Martin Haeberer and
Paulo A. S. Veloso},
title = {A Finite Axiomatization for Fork Algebras},
journal = {Log. J. {IGPL}},
volume = {5},
number = {3},
pages = {1--10},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.3.1},
doi = {10.1093/JIGPAL/5.3.1},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FriasHV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Galton97,
author = {Antony Galton},
title = {Review of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations
and Computational Aspects},
journal = {Log. J. {IGPL}},
volume = {5},
number = {6},
pages = {853--857},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.6.853},
doi = {10.1093/JIGPAL/5.6.853},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Galton97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gavrilovich97,
author = {Michael Gavrilovich},
title = {A Lower Bound for Interpolation},
journal = {Log. J. {IGPL}},
volume = {5},
number = {3},
pages = {1--6},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.3.1-a},
doi = {10.1093/JIGPAL/5.3.1-A},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gavrilovich97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hartonas97,
author = {Chrysafis Hartonas},
title = {Pretopology Semantics for Bimodal Intuitionistic Linear Logic},
journal = {Log. J. {IGPL}},
volume = {5},
number = {1},
pages = {65--78},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.1.65},
doi = {10.1093/JIGPAL/5.1.65},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hartonas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Heuerding97,
author = {Alain Heuerding},
title = {LWBtheory: Information about some Propositional Logics via the {WWW}},
journal = {Log. J. {IGPL}},
volume = {5},
number = {1},
pages = {169--174},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.1.169},
doi = {10.1093/JIGPAL/5.1.169},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Heuerding97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HirschH97,
author = {Robin Hirsch and
Ian M. Hodkinson},
title = {Axiomatising Various Classes of Relation and Cylindric Algebras},
journal = {Log. J. {IGPL}},
volume = {5},
number = {2},
pages = {209--229},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.2.209},
doi = {10.1093/JIGPAL/5.2.209},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HirschH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hodges97,
author = {Wilfrid Hodges},
title = {Compositional Semantics for a Language of Imperfect Information},
journal = {Log. J. {IGPL}},
volume = {5},
number = {4},
pages = {539--563},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.4.539},
doi = {10.1093/JIGPAL/5.4.539},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hodges97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hutchinson97,
author = {Alan Hutchinson},
title = {First Order Meta Theories},
journal = {Log. J. {IGPL}},
volume = {5},
number = {1},
pages = {97--144},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.1.97},
doi = {10.1093/JIGPAL/5.1.97},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hutchinson97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JipsenM97,
author = {Peter Jipsen and
Roger D. Maddux},
title = {Nonrepresentable Sequential Algebras},
journal = {Log. J. {IGPL}},
volume = {5},
number = {4},
pages = {565--574},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.4.565},
doi = {10.1093/JIGPAL/5.4.565},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/JipsenM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kossak97,
author = {Roman Kossak},
title = {Automorphisms of Recursively Saturated Models of Peano Arithmetic:
Fixed Point Sets},
journal = {Log. J. {IGPL}},
volume = {5},
number = {6},
pages = {787--794},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.6.787},
doi = {10.1093/JIGPAL/5.6.787},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kossak97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KrauseB97,
author = {D{\'{e}}cio Krause and
Jean{-}Yves B{\'{e}}ziau},
title = {Relativizations of the Principle of Identity},
journal = {Log. J. {IGPL}},
volume = {5},
number = {3},
pages = {1--12},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.3.1-b},
doi = {10.1093/JIGPAL/5.3.1-B},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KrauseB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MacCaull97,
author = {Wendy MacCaull},
title = {Relational Proof System for Linear and Other Substructural Logics},
journal = {Log. J. {IGPL}},
volume = {5},
number = {5},
pages = {673--697},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.5.673},
doi = {10.1093/JIGPAL/5.5.673},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MacCaull97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MiglioliMO97,
author = {Pierangelo Miglioli and
Ugo Moscato and
Mario Ornaghi},
title = {Avoiding duplications in tableau systems for intuitionistic logic
and Kuroda logic},
journal = {Log. J. {IGPL}},
volume = {5},
number = {1},
pages = {145--167},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.1.145},
doi = {10.1093/JIGPAL/5.1.145},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MiglioliMO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Mitchell97,
author = {William P. R. Mitchell},
title = {The Carcinogenic Example},
journal = {Log. J. {IGPL}},
volume = {5},
number = {6},
pages = {795--810},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.6.795},
doi = {10.1093/JIGPAL/5.6.795},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Mitchell97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MossD97,
author = {Lawrence S. Moss and
Norman Danner},
title = {On the Foundations of Corecursion},
journal = {Log. J. {IGPL}},
volume = {5},
number = {2},
pages = {231--257},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.2.231},
doi = {10.1093/JIGPAL/5.2.231},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MossD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Nemeti97,
author = {Istv{\'{a}}n N{\'{e}}meti},
title = {Strong Representability of Fork Algebras, a Set Theoretic Foundation},
journal = {Log. J. {IGPL}},
volume = {5},
number = {1},
pages = {3--23},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.1.3},
doi = {10.1093/JIGPAL/5.1.3},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Nemeti97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/NemetiS97,
author = {Istv{\'{a}}n N{\'{e}}meti and
Andr{\'{a}}s Simon},
title = {Relation Algebras from Cylindric and Polyadic Algebras},
journal = {Log. J. {IGPL}},
volume = {5},
number = {4},
pages = {575--588},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.4.575},
doi = {10.1093/JIGPAL/5.4.575},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/NemetiS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Peratto97,
author = {Patricia Peratto},
title = {Well-founded Relations in Type Theory},
journal = {Log. J. {IGPL}},
volume = {5},
number = {6},
pages = {811--852},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.6.811},
doi = {10.1093/JIGPAL/5.6.811},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Peratto97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pitts97,
author = {Andrew M. Pitts},
title = {A Note on Logical Relations Between Semantics and Syntax},
journal = {Log. J. {IGPL}},
volume = {5},
number = {4},
pages = {589--601},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.4.589},
doi = {10.1093/JIGPAL/5.4.589},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Pitts97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz97,
author = {Ruy J. G. B. de Queiroz},
title = {Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97)},
journal = {Log. J. {IGPL}},
volume = {5},
number = {6},
pages = {859--927},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.6.859},
doi = {10.1093/JIGPAL/5.6.859},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RichardS97,
author = {Gilles Richard and
Fr{\'{e}}d{\'{e}}ric Saubion},
title = {Answer Synthesis for {CLP} Programs with Negation},
journal = {Log. J. {IGPL}},
volume = {5},
number = {3},
pages = {1--36},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.3.1-c},
doi = {10.1093/JIGPAL/5.3.1-C},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RichardS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SainG97,
author = {Ildik{\'{o}} Sain and
Viktor Gyuris},
title = {Finite Schematizable Algebraic Logic},
journal = {Log. J. {IGPL}},
volume = {5},
number = {5},
pages = {699--751},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.5.699},
doi = {10.1093/JIGPAL/5.5.699},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SainG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sandu97,
author = {Gabriel Sandu},
title = {The Logic of Informational Independence and Finite Models},
journal = {Log. J. {IGPL}},
volume = {5},
number = {1},
pages = {79--95},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.1.79},
doi = {10.1093/JIGPAL/5.1.79},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sandu97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sasaki97,
author = {James T. Sasaki},
title = {A Type Theory with Mixed Constructivity and Assignments},
journal = {Log. J. {IGPL}},
volume = {5},
number = {3},
pages = {1--37},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.3.1-d},
doi = {10.1093/JIGPAL/5.3.1-D},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sasaki97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Schlechta97,
author = {Karl Schlechta},
title = {A Reduction of the Theory of Confirmation to the Notions of Distance
and Measure},
journal = {Log. J. {IGPL}},
volume = {5},
number = {1},
pages = {49--64},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.1.49},
doi = {10.1093/JIGPAL/5.1.49},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Schlechta97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Schlechta97a,
author = {Karl Schlechta},
title = {Filters and Partial Orders},
journal = {Log. J. {IGPL}},
volume = {5},
number = {5},
pages = {753--772},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.5.753},
doi = {10.1093/JIGPAL/5.5.753},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Schlechta97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sereny97,
author = {Gy{\"{o}}rgy Ser{\'{e}}ny},
title = {Saturatedness in Cylindric Algebraic Model Theory},
journal = {Log. J. {IGPL}},
volume = {5},
number = {1},
pages = {25--48},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.1.25},
doi = {10.1093/JIGPAL/5.1.25},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sereny97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Urquhart97,
author = {Alasdair Urquhart},
title = {Review: Feasible Mathematics {II}},
journal = {Log. J. {IGPL}},
volume = {5},
number = {2},
pages = {301--302},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.2.301},
doi = {10.1093/JIGPAL/5.2.301},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Urquhart97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Walton97,
author = {Douglas Walton},
title = {How can logic best be applied to arguments?},
journal = {Log. J. {IGPL}},
volume = {5},
number = {4},
pages = {603--614},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.4.603},
doi = {10.1093/JIGPAL/5.4.603},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Walton97.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-07-20 21:16 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:
