The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for KLEENE with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1938-1973 (16) 1974-1979 (15) 1981-1985 (20) 1986-1988 (15) 1989-1991 (21) 1992-1994 (24) 1995-1997 (29) 1998-1999 (31) 2000 (20) 2001-2002 (27) 2003 (40) 2004 (22) 2005 (43) 2006 (58) 2007 (28) 2008 (64) 2009 (58) 2010 (15) 2011 (19) 2012-2013 (30) 2014 (19) 2015 (18) 2016 (23) 2017 (24) 2018 (16) 2019 (25) 2020 (20) 2021 (19) 2022 (29) 2023 (25) 2024 (4)
Publication types (Num. hits)
article(312) inproceedings(493) phdthesis(7) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 319 occurrences of 221 keywords

Results
Found 822 publication records. Showing 817 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
116Hitoshi Furusawa A Free Construction of Kleene Algebras with Tests. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
106Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa The Cube of Kleene Algebras and the Triangular Prism of Multirelations. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
103Thorsten Ehm Pointer Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF pointer algebra, pointer structures, embedding, Kleene algebra
100Peter Jipsen From Semirings to Residuated Kleene Lattices. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
95Claude Bolduc, Béchir Ktari Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
95Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa A Non-probabilistic Relational Model of Probabilistic Kleene Algebras. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
95Ernie Cohen Weak Kleene Algebra and Computation Trees. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
95Toshinori Takai, Hitoshi Furusawa Monodic Tree Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
95Thorsten Ehm, Bernhard Möller, Georg Struth Kleene Modules. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
94Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski Kleene Monads: Handling Iteration in a Framework of Generic Effects. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
94Dexter Kozen On Kleene Algebras and Closed Semirings. Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
92Bernhard Möller, Georg Struth Greedy-Like Algorithms in Modal Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
84Jules Desharnais Kleene Algebra with Relations. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
83Feng Feng 0003, Young Bae Jun Inductive semimodules and the vector modules over them. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Semimodule, Inductive *-semiring, Kleene module, Inductive semimodule, Linear inequation system, Semiring, Kleene algebra
83Dexter Kozen, Frederick Smith Kleene Algebra with Tests: Completeness and Decidability. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
78Dexter Kozen Nonlocal Flow of Control and Kleene Algebra with Tests. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF control flow, Kleene algebra, program restructuring, Kleene algebra with tests
78Hitoshi Furusawa A Framework for Kleene Algebra with an Embedded Structure. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Mark Hopkins The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free
73James Worthington Automatic Proof Generation in Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
73Kamal Aboul-Hosn, Dexter Kozen Local Variable Scoping and Kleene Algebra with Tests. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
72Eric Allender, Vikraman Arvind, Meena Mahajan Arithmetic Complexity, Kleene Closure, and Formal Power Series. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
72Dexter Kozen Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
72Paul Gastin, Antoine Petit 0001, Wieslaw Zielonka A Kleene Theorem for Infinite Trace Languages. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
69Jules Desharnais, Bernhard Möller, Georg Struth Kleene algebra with domain. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems
69Georg Struth Calculating Church-Rosser Proofs in Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF $lambda$-calculus, Church-Rosser theorem, rewriting, Kleene algebra, formal mathematics
69Tomoko Ninomiya, Masao Mukaidono Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients. Search on Bibsonomy ISMVL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF the Method of Indeteminate Coefficients, Independency of axiom, Complete axioms, Kleene Algebra
69Dexter Kozen Kleene Algebra with Tests. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF specification, dynamic logic, Kleene algebra
67Dexter Kozen On Hoare logic and Kleene algebra with tests. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF specification, dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests
64Patrik Eklund, Robert Helgesson Composing Partially Ordered Monads. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partially ordered monad, Kleene algebra
62C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Foundations of Concurrent Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
62Annabelle McIver, E. Cohen, Carroll Morgan Using Probabilistic Kleene Algebra for Protocol Verification. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
62Kamal Aboul-Hosn An Axiomatization of Arrays for Kleene Algebra with Tests. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
62Hitoshi Furusawa The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
61Anton Setzer Partial Recursive Functions in Martin-Löf Type Theory. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
61Paolo D'Alberto, Alexandru Nicolau R-Kleene: A High-Performance Divide-and-Conquer Algorithm for the All-Pair Shortest Path for Densely Connected Networks. Search on Bibsonomy Algorithmica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
61Arnaud Carayol, Didier Caucal The Kleene Equality for Graphs. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
61Bernhard Möller, Georg Struth p Is. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
61Christopher Hardin How the Location of * Influences Complexity in Kleene Algebra with Tests. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
61Tomoko Ninomiya, Masao Mukaidono Fundamental Properties on Axioms of Kleene Algebra. Search on Bibsonomy ISMIS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
61Dexter Kozen On the Complexity of Reasoning in Kleene Algebra. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
58Mark W. Hopkins, Dexter Kozen Parikh's Theorem in Commutative Kleene Algebra. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal methods, Kleene algebra, universal algebra, logics of programs
56Peter Höfner Automated Reasoning for Hybrid Systems - Two Case Studies -. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Marco Hollenberg Equational Axioms of Test Algebra. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
53Mark Hopkins The Algebraic Approach II: Dioids, Quantales and Monads. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
52Klaus-Dieter Schewe, Bernhard Thalheim Reasoning About Web Information Systems Using Story Algebras. Search on Bibsonomy ADBIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF navigation, process algebra, personalisation, Web information system, Kleene algebra
51Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis Investigating Discrete Controllability with Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Daniel Gyllstrom, Jagrati Agrawal, Yanlei Diao, Neil Immerman On Supporting Kleene Closure over Event Streams. Search on Bibsonomy ICDE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Manfred Droste, Karin Quaas A Kleene-Schützenberger Theorem for Weighted Timed Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Bernhard Möller Lazy Kleene Algebra. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
50Bernhard Möller, Georg Struth Modal Kleene Algebra and Partial Correctness. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Kim Solin A While Program Normal Form Theorem in Total Correctness. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Jean-Lou De Carufel, Jules Desharnais Latest News about Demonic Algebra with Domain. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Jean-Lou De Carufel, Jules Desharnais On the Structure of Demonic Refinement Algebras with Enabledness and Termination. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Bernhard Möller Knowledge and Games in Modal Semirings. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Wolfram Kahl Determinisation of Relational Substitutions in Ordered Categories with Domain. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc Solving Linear Equations in *-continuous Action Lattices. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Wojciech Buszkowski On the Complexity of the Equational Theory of Relational Action Algebras. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Jean-Lou De Carufel, Jules Desharnais Demonic Algebra with Domain. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Wolfram Kahl Calculational Relation-Algebraic Proofs in Isabelle/Isar. Search on Bibsonomy RelMiCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Barzan Mozafari, Kai Zeng 0002, Carlo Zaniolo K*SQL: a unifying engine for sequence patterns and XML. Search on Bibsonomy SIGMOD Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF kleene-closure, sequence queries, sql, pattern matching, xpath
41Martín Hötzel Escardó Computability of Continuous Solutions of Higher-Type Equations. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Higher-type computability, Kleene-Kreisel spaces of continuous functionals, exhaustible set
41Wojciech Buszkowski, Ewa Palka Infinitary Action Logic: Complexity, Models and Grammars. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF action algebra, relation algebra, Kleene algebra, categorial grammar
41Jan A. Bergstra, Alban Ponse Register-machine based processes. Search on Bibsonomy J. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Kleene star, push-down operation, concurrency, computability, process algebra, expressivity, iteration, Bisimulation equivalence
39Dexter Kozen, Jerzy Tiuryn Substructural logic and partial correctness. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests
39Zoltán Fülöp 0001, Andreas Maletti, Heiko Vogler A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Recognizable tree series, Rational tree series, Multioperator monoids, Semirings
39Rui Qiao 0003, Yuan Wang, Xinyan Gao, Jinzhao Wu Operational semantics of probabilistic Kleene algebra with tests. Search on Bibsonomy ISCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Peter Höfner, Georg Struth Automated Reasoning in Kleene Algebra. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Chris Hardin Proof Theory for Kleene Algebra. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv A Kleene Analysis of Mobile Ambients. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Manfred Kerber, Michael Kohlhase A Mechanization of Strong Kleene Logic for Partial Functions. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39Hans Leiß Towards Kleene Algebra with Recursion. Search on Bibsonomy CSL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Jacques Sakarovitch Kleene's theorem revisited. Search on Bibsonomy IMYCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
38Atul Dhingra, Jie Shen, Nicholas Kleene Learning Large Scale Sparse Models. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
38Aaron Scherzinger, Florian Kleene, Cathrin Dierkes, Friedemann Kiefer, Klaus H. Hinrichs, Xiaoyi Jiang 0001 Automated Segmentation of Immunostained Cell Nuclei in 3D Ultramicroscopy Images. Search on Bibsonomy GCPR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
38Donald A. French, Richard J. Flannery, Charles W. Groetsch, Willam B. Krantz, Steven J. Kleene Numerical approximation of solutions of a nonlinear inverse problem arising in olfaction experimentation. Search on Bibsonomy Math. Comput. Model. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Ming-yu Wang, Michael Cutler, Iman Karimpour, Kenneth C. Kleene Nucleotide sequence of a mouse testis poly(A) binding protein cDNA. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene Reflections on Church's thesis. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene Origins of Recursive Function Theory. Search on Bibsonomy IEEE Ann. Hist. Comput. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene Algorithms in various contexts. Search on Bibsonomy Algorithms in Modern Mathematics and Computer Science The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene Origins of Recursive Function Theory Search on Bibsonomy FOCS The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene An Addendum to The Work of Kurt Gödel. Search on Bibsonomy J. Symb. Log. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene The Work of Kurt Gödel. Search on Bibsonomy J. Symb. Log. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Search on Bibsonomy J. Symb. Log. The full citation details ... 1963 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Search on Bibsonomy J. Symb. Log. The full citation details ... 1962 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene On the Interpretation of Intuitionistic Number Theory. Search on Bibsonomy J. Symb. Log. The full citation details ... 1945 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene Third Meeting of the Association for Symbolic Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1938 DBLP  DOI  BibTeX  RDF
38Stephen Cole Kleene On Notation for Ordinal Numbers. Search on Bibsonomy J. Symb. Log. The full citation details ... 1938 DBLP  DOI  BibTeX  RDF
36Eugene Asarin, Paul Caspi, Oded Maler A Kleene Theorem for Timed Automata. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
34Thomas Braibant Algèbres de Kleene, réécriture modulo AC et circuits en coq. (Kleene algebra, Rewriting modulo AC and Circuits in Coq). Search on Bibsonomy 2012   RDF
34Rudolf Berghammer, Ali Jaoua, Bernhard Möller (eds.) Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Martin Eric Müller Modalities, Relations, and Learning. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Jules Desharnais, Peter Jipsen, Georg Struth Domain and Antidomain Semigroups. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska Computational Social Choice Using Relation Algebra and RelView. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001 Relational Methods in the Analysis of While Loops: Observations of Versatility. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus
34Alexander Fronk, Rudolf Berghammer A Relation-Algebraic Approach to Liveness of Place/Transition Nets. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal Concept Analysis, Galois Connection, Minimal representation
34John N. Billings, Timothy G. Griffin A Model of Internet Routing Using Semi-modules. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Michael Winter 0001, Torsten Hahmann, Michael Gruninger On the Skeleton of Stonian p-Ortholattices. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara Armstrong's Inference Rules in Dedekind Categories. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Yasuo Kawahara, Michael Winter 0001 Cardinal Addition in Distributive Allegories. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 817 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license