The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Studia Logica"( http://dblp.L3S.de/Venues/Studia_Logica )

URL (DBLP): http://dblp.uni-trier.de/db/journals/sLogica

Publication years (Num. hits)
1985 (30) 1986 (33) 1987 (34) 1988 (38) 1989 (44) 1990 (46) 1991 (38) 1992 (24) 1993 (31) 1994 (31) 1995 (35) 1996 (41) 1997 (37) 1998 (39) 1999 (38) 2000 (59) 2001 (50) 2002 (63) 2003 (61) 2004 (66) 2005 (56) 2006 (59) 2007 (73) 2008 (65) 2009 (57) 2010 (56) 2011 (61) 2012 (65) 2013 (62) 2014 (62) 2015 (62) 2016 (52) 2017 (53) 2018 (56) 2019 (19)
Publication types (Num. hits)
article(1696)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 748 occurrences of 362 keywords

Results
Found 1696 publication records. Showing 1696 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Thomas Piecha, Peter Schroeder-Heister General Proof Theory: Introduction. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuela Busaniche, Roberto Cignoli, Miguel Andrés Marcos A Categorical Equivalence for Stonean Residuated Lattices. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Piecha, Peter Schroeder-Heister Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Tranchini, Paolo Pistone, Mattia Petrolo The Naturality of Natural Deduction. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giulio Guerrieri, Alberto Naibo Postponement of $$\mathsf {raa}$$ raa and Glivenko's Theorem, Revisited. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kosta Dosen, Milos Adzic Gödel on Deduction. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ramon Jansana, Hernán Javier San Martín On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefano Bonzio, Andrea Loi, Luisa Peruzzi A Duality for Involutive Bisemilattices. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dag Prawitz The Fundamental Problem of General Proof Theory. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Reinhard Kahle Is There a "Hilbert Thesis"? Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Susanne Bobzien, Roy Dyckhoff Analyticity, Balance and Non-admissibility of $$\varvec{Cut}$$ Cut in Stoic Logic. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Juan J. Colomina Jody Azzouni, The Rule-Following Paradox and Its Implications for Metaphysics, Springer (Synthese Library Series No. 382), 2017, pp. $$\hbox {viii} + 124$$ viii + 124 , ISBN: 978-3-319-49060-1 (Hardcover) $99.99; (Softcover) $89.99; (eBook) $69.99. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Minghui Ma, Yuanlei Lin A Deterministic Weakening of Belnap-Dunn Logic. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lev Gordeev, Edward Hermann Haeusler Proof Compression and NP Versus PSPACE. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dorota Leszczynska-Jasion, Mateusz Ignaszak, Szymon Chlebowski Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory K. Olkhovikov, Heinrich Wansing Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frederik Möllerström Lauridsen Intermediate Logics Admitting a Structural Hypersequent Calculus. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norbert Gratzl, Eugenio Orlandelli Logicality, Double-Line Rules, and Modalities. Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Schroeder-Heister Kosta Došen (1954-2017). Search on Bibsonomy Studia Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Torben Braüner Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015, pp. 450. ISBN-13: 978-1-118-75127-5 (paperback) $42, ISBN-10: 978-1-118-75127-2 (eBook) $37.99. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José Luis Castiglioni, Hernán Javier San Martín l-Hemi-Implicative Semilattices. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Reinhard Muskens, Stefan Wintein Interpolation in 16-Valued Trilattice Logics. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Szymon Chlebowski Sequent Calculi for SCI. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dag Normann David Marker, Lectures on Infinitary Model Theory - Series: Lecture Notes in Logic, Vol. 46 2016, pp. 192. ISBN-13: 978-1107181939. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Ardeshir, Wim Ruitenburg Latarres, Lattices with an Arrow. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert Goldblatt, Ian M. Hodkinson The Finite Model Property for Logics with the Tangle Modality. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alex Citkin Hereditarily Structurally Complete Superintuitionistic Deductive Systems. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Juan Manuel Cornejo, Ignacio Darío Viglizzo Semi-intuitionistic Logic with Strong Negation. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Allen L. Mann, Ville Aarnio A Logical Analysis of Monty Hall and Sleeping Beauty. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay Principal and Boolean Congruences on $$\varvec{IKt}$$ IKt -Algebras. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Minghui Ma, Fei Liang Sequent Calculi for Semi-De Morgan and De Morgan Algebras. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1P. Aglianò, Franco Montagna Varieties of BL-Algebras II. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Lando Massimiliano Carrara, Alexandra Arapinis and Friederike Moltmann (eds.), Unity and Plurality. Logic, Philosophy, and Linguistics, OUP: Oxford, 2016, xv + 259 pp., ISBN: 978-019-8716-32-7 (hardback) £45, (kindle) £36. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Taishi Kurahashi Arithmetical Completeness Theorem for Modal Logic K. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomás Lávicka, Carles Noguera Extension Properties and Subdirect Representation in Abstract Algebraic Logic. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio di Nola, Giacomo Lenzi Duality Theory and Skeleta for Semisimple MV-Algebras. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Eckert, Frederik S. Herzberg The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow's Theorem in the Framework of Model Theory. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Asadollah Fallahi A Second Pretabular Classical Relevance Logic. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vincenzo Dimonte Ralf Schindler, Set Theory: Exploring Independence and Truth. Springer International Publishing, 2014, pp. 332+X. ISBN: 978-3-319-06724-7 (softcover) $79.99, ISBN: 978-3-319-06725-4 (eBook) $59.99. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shawn Standefer Proof Theory for Functional Modal Logic. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Pech, Maja Pech Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Fischer 0009, Norbert Gratzl Truth, Partial Logic and Infinitary Proof Systems. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonio Ledda Stone-Type Representations and Dualities for Varieties of Bisemilattices. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shengyang Zhong Correspondence Between Kripke Frames and Projective Geometries. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuela Busaniche, Conrado Gomez Poset Product and BL-Chains. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frederik Herzberg Arrovian Aggregation of Generalised Expected-Utility Preferences: (Im)possibility Results by Means of Model Theory. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergei P. Odintsov, Stanislav O. Speranski, Igor Shevchenko Hintikka's Independence-Friendly Logic Meets Nelson's Realizability. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill A New Proof of the McKinsey-Tarski Theorem. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1R. Zoghifard, M. Pourmahdian First-Order Modal Logic: Frame Definability and a Lindström Theorem. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joan Gispert Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tadeusz Litak Infinite Populations, Choice and Determinacy. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter A. Streufert The Category of Node-and-Choice Preforms for Extensive-Form Games. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philip Kremer Topological-Frame Products of Modal Logics. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roger Antonsen, Andreas Nakkerud Book Reviews. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wolfgang Rump The Structure Group of a Generalized Orthomodular Lattice. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexandru Baltag, Giovanni Ciná Bisimulation for Conditional Modalities. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gennady Shtakser Propositional Epistemic Logics with Quantification Over Agents of Knowledge. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Timothy Childers, Ondrej Majer Eliciting Uncertainties: A Two Structure Approach. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandra Palmigiano, Marcus Pivato Logics for Social Behaviour: An Editorial. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudio E. A. Pizzi Two Kinds of Consequential Implication. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kosta Dosen, Milos Adzic Gödel's Natural Deduction. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José de Jesús Lavalle-Martínez, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, Héctor Jiménez-Salazar, Ismael Everardo Bárcenas Patiño Equivalences Among Polarity Algorithms. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jia Chen, Tianqun Pan Logic for Describing Strong Belief-Disagreement Between Agents. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrzej Wisniewski Deduction and Reduction Theorems for Inferential Erotetic Logic. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Graham Priest Holger Andreas and Peter Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics - Springer, Series: Trends in Logic, Vol. 45 2016, pp. vi + 221. ISBN 978-3-319-40218-5. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tommaso Flaminio, Hykel Hosni, Serafina Lapenta Convex MV-Algebras: Many-Valued Logics Meet Decision Theory. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Sophia Knight, Aybüke Özgün Private Announcements on Topological Spaces. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlo Nicolai Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rafal Gruszczynski, Andrzej Pietruszczak A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peng He, Xue-ping Wang A Characterization of a Semimodular Lattice. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hitoshi Omori, Jesse Alama Axiomatizing Jaśkowski's Discussive Logic $$\mathbf {D_2}$$ D 2. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrzej Pietruszczak, Tomasz Jarmuzek Pure Modal Logic of Names and Tableau Systems. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hsing-chien Tsai General Extensional Mereology is Finitely Axiomatizable. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Taishi Kurahashi Arithmetical Soundness and Completeness for $$\varvec{\Sigma }_{\varvec{2}}$$ Σ 2 Numerations. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonis C. Kakas, Paolo Mancarella, Francesca Toni On Argumentation Logic and Propositional Logic. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hugo Albuquerque, Josep Maria Font, Ramon Jansana The Strong Version of a Sentential Logic. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rohan French A Simple Sequent Calculus for Angell's Logic of Analytic Containment. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giosuè Baggio, Heming Strømholt Bremnes Jakub Szymanik, Quantifiers and Cognition. Logical and Computational Perspectives. Springer, 2016. Pp. xii+211. ISBN: 978-3-319-28749-2 (hardcover) EUR 106, 99; eBook EUR 83, 29. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Cignoli, Antoni Torrens Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x2) = (2x)22. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio An Algebraic View of Super-Belnap Logics. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan Wintein, Reinhard Muskens Interpolation Methods for Dunn Logics and Their Extensions. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomás Lávicka, Carles Noguera A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bruno Jacinto, Stephen Read General-Elimination Stability. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron Four-Valued Paradefinite Logics. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mike Behrisch, John K. Truss, Edith Vargas-García Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Volker Peckhaus William Ewald and Wilfried Sieg (eds.), Michael Hallett (associate ed.), David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933. In collaboration with Ulrich Majer and Dirk Schlimm (David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933, Vol. 3), Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 (hardcover) $129.00, (Kindle) $86.37. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dragan Doder, Zoran Ognjanovic Probabilistic Logics with Independence and Confirmation. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Steven T. Kuhn Book Reviews. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Schippers, Gerhard Schurz Genuine Coherence as Mutual Confirmation Between Content Elements. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dustin Tucker Montagovian Paradoxes and Hyperintensional Content. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Valentin Goranko Dov Gabbay, Reactive Kripke Semantics. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay Subdirectly Irreducible IKt-Algebras. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Paraconsistent Double Negations as Classical and Intuitionistic Negations. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergei P. Odintsov, Heinrich Wansing Disentangling FDE-Based Paraconsistent Modal Logics. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Melvin Fitting Paraconsistent Logic, Evidence, and Justification. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yaroslav Shramko, Dmitry Zaitsev 0002, Alexander Belikov First-Degree Entailment and its Relatives. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Annika Kanckos, Bruno Woltzenlogel Paleo Variants of Gödel's Ontological Proof in a Natural Deduction Calculus. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gem Stapleton, Andrew Blake 0002, Jim Burton, Anestis Touloumis Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilda Ferreira Rasiowa-Harrop Disjunction Property. Search on Bibsonomy Studia Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1696 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license