The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1973-1990 (15) 1991-1996 (16) 1997-2000 (21) 2001-2002 (20) 2003-2004 (29) 2005-2006 (33) 2007 (23) 2008 (26) 2009 (17) 2010-2011 (16) 2012-2014 (22) 2015-2016 (15) 2017-2019 (16) 2020-2021 (15) 2022 (17) 2023 (21) 2024 (7)
Publication types (Num. hits)
article(128) incollection(2) inproceedings(197) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 94 occurrences of 70 keywords

Results
Found 329 publication records. Showing 329 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
112Louise Leenen, Thomas Andreas Meyer, Peter Harvey, Aditya Ghose A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings. Search on Bibsonomy PRICAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
110Feng 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
95Libor Polák Syntactic Semiring and Language Equations. Search on Bibsonomy CIAA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF syntactic semiring, language equations
79Louise Leenen, Anbulagan, Thomas Meyer 0002, Aditya K. Ghose Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
78Helmut Seidl Finite Tree Automata with Cost Functions. Search on Bibsonomy CAAP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
72Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. Search on Bibsonomy ICTAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
72Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001 Semiring-based constraint satisfaction and optimization. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF non-crisp constraint reasoning, dynamic programming, constraint solving, local consistency
69Libor Polák Syntactic Semiring and Universal Automaton. Search on Bibsonomy Developments in Language Theory The full citation details ... 2003 DBLP  DOI  BibTeX  RDF syntactic semiring, universal automaton MSC 2000 Classification: 68Q45 Formal languages and automata
69Libor Polák Syntactic Semiring of a Language. Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF syntactic semiring, rational languages
62Olga Sokratova Linear Automata and Recognizable Subsets in Free Semirings. Search on Bibsonomy FCT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF dynamical (linear) system, recognizable set, semiring
59Kim Solin A Sketch of a Dynamic Epistemic Semiring. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Peter Höfner, Bernhard Möller Lazy Semiring Neighbours and Some Applications. Search on Bibsonomy RelMiCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
59Peter Harvey, Aditya Ghose Relaxation of Soft Constraints Via a Unified Semiring. Search on Bibsonomy Canadian AI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
59Sebastian Bader 0001, Steffen Hölldobler, Alexandre Scalzitti Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. Search on Bibsonomy KI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
59Katarina Britz, Johannes Heidema Semiring-Valued Satisfiability. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
59Aditya Ghose, Peter Harvey Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
59Sabrina Mantaci, Vincent D. Blondel, Jean Mairesse Bilinear Functions and Trees over the (max, +) Semiring. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
59Yan Georget, Philippe Codognet Compiling Semiring-Based Constraints with clp (FD, S). Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
52Zoltán Ésik Iteration Semirings. Search on Bibsonomy Developments in Language Theory The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Martin Beaudry, Markus Holzer 0001 The Complexity of Tensor Circuit Evaluation. Search on Bibsonomy Comput. Complex. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Subject classification. 15A69, 68Q70, 68Q17, 68Q15, 68Q05
52Cyril Allauzen, Mehryar Mohri An Efficient Pre-determinization Algorithm. Search on Bibsonomy CIAA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
52Georg Karner, Werner Kuich A Characterization of Abstract Families of Algebraic Power Series. Search on Bibsonomy MFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
49Manfred Droste, Paul Gastin On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Aperiodic languages, Star-free languages, Traces, Semiring, Formal power series, Weighted automata
49Nic Wilson A logic of soft constraints based on partially ordered preferences. Search on Bibsonomy J. Heuristics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Semiring-based CSPs, Preferences, Soft constraints, Possibilistic logic
46Daniel Kirsten The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Peter Jipsen, Georg Struth The Structure of the One-Generated Free Domain Semiring. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Hitoshi Furusawa, Fumiya Sanda *-Continuous Idempotent Left Semirings and Their Ideal Completion. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Javier Esparza, Stefan Kiefer, Michael Luttenberger An Extension of Newton's Method to omega -Continuous Semirings. Search on Bibsonomy Developments in Language Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39François Lamarche, Lutz Straßburger Naming Proofs in Classical Propositional Logic. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Le Chang, Alan K. Mackworth Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Alexander V. Shafarenko, Sven-Bodo Scholz General Homomorphic Overloading. Search on Bibsonomy IFL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Andreas Maletti Relating Tree Series Transducers and Weighted Tree Automata. Search on Bibsonomy Developments in Language Theory The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Mehryar Mohri Generic epsilon -Removal Algorithm for Weighted Automata. Search on Bibsonomy CIAA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Franz Baader, Werner Nutt Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Equational unification, Semiadditive categories, Semirings, Equational theories
39Yannis E. Ioannidis, Eugene Wong 0001 Towards an Algebraic Theory of Recursion. Search on Bibsonomy J. ACM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Jan W. Amtrup Morphology in Machine Translation Systems: Efficient Integration of Finite State Transducers and Feature Structure Descriptions. Search on Bibsonomy Mach. Transl. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF finite state morphology, feature structures, Persian, semiring
36Bernhard 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
36Jonathan S. Golan, Fuming Wu Weakly UDO semirings and Korczyski nets over them. Search on Bibsonomy Soft Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Difference order, Korczy?ski net, Marked net, Concurrent enabling, Petri net, Semiring
36Peter Buchholz 0001, Peter Kemper Quantifying the Dynamic Behavior of Process Algebras. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF process algebras, bisimulation, congruence, semiring
33Stefano Bistarelli, Francesca Rossi 0001 Semiring-Based Soft Constraints. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Louise Leenen, Aditya Ghose Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Marc Pouly, Rolf Haenni, Michael Wachter 0001 Compiling Solution Configurations in Semiring Valuation Systems. Search on Bibsonomy MICAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Michael Wachter 0001, Rolf Haenni, Marc Pouly Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras. Search on Bibsonomy MICAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Lior Wolf, Moshe Guttmann Artificial Complex Cells via the Tropical Semiring. Search on Bibsonomy CVPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Cédric Pralet, Thomas Schiex, Gérard Verfaillie Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Zoltán Ésik, Werner Kuich A Semiring-Semimodule Generalization of omega-Context-Free Languages. Search on Bibsonomy Theory Is Forever The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Jerome Kelleher, Barry O'Sullivan Evaluation-Based Semiring Meta-constraints. Search on Bibsonomy MICAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Libor Polák On Pseudovarieties of Semiring Homomorphisms. Search on Bibsonomy MFCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Varieties of languages, pseudovarieties of homomorphisms
33Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda Implementing Semiring-Based Constraints Using Mozart. Search on Bibsonomy MOZ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hybrid petri nets, timed event graphs, dioid algebra, control, transfer function
33Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001 Semiring-based contstraint logic programming: syntax and semantics. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF semantics, constraints, soft constraints
33Imre Simon Recognizable Sets with Multiplicities in the Tropical Semiring. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
26Val Tannen Provenance for database transformations. Search on Bibsonomy EDBT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Todd J. Green Containment of conjunctive queries on annotated relations. Search on Bibsonomy ICDT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Karin Quaas On the Supports of Recognizable Timed Series. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Andreas Maletti Tree-Series-to-Tree-Series Transformations. Search on Bibsonomy CIAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini 0001 From Marriages to Coalitions: A Soft CSP Approach. Search on Bibsonomy CSCLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Manfred Droste, George Rahonis Weighted Automata and Weighted Logics with Discounting. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF weighted Büchi and Muller automata, weighted MSO logic, discounting, formal power series, weighted automata
26Javier Esparza, Stefan Kiefer, Michael Luttenberger On Fixed Point Equations over Commutative Semirings. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Andreas Maletti Hierarchies of Tree Series Transformations Revisited. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Manfred Droste, Paul Gastin Weighted Automata and Weighted Logics. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Martin Beaudry, José M. Fernandez 0001, Markus Holzer 0001 A Common Algebraic Description for Probabilistic and Quantum Computations (Extended Abstract). Search on Bibsonomy MFCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Carsten Damm, Markus Holzer 0001, Pierre McKenzie The complexity of tensor calculus. Search on Bibsonomy Comput. Complex. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000). 15A69, 68Q70, 68Q17, 68Q15, 68Q05
26Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir Axiomatizing Tropical Semirings. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations
26Robert A. Morris 0001, Lina Khatib Optimization in Constraint Reasoning about Repeating Events. Search on Bibsonomy TIME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF knowledge representation, constraint satisfaction, temporal reasoning
26Manfred Droste, Paul Gastin On Recognizable and Rational Formal Power Series in Partially Commuting Variables. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Stephane Gaubert, Max Plus Methods and Applications of (MAX, +) Linear Algebra. Search on Bibsonomy STACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Xiaoyong Du 0001, Naohiro Ishii An Algebraic Rewriting Theorem of Multiple Linear Recursions and Its Applications Search on Bibsonomy DEXA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
26Marcella Anselmo Two-Way Automata with Multiplicity. Search on Bibsonomy ICALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Michael G. Main Free Constructions of Powerdomains. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
22Chang-Jing Wang, Jin-Yun Xue Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems. Search on Bibsonomy SNPD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formally deduce, extremum problem, generic algorithmic program, high-trustworthy, semiring
22Muhammad Akram 0001, Wieslaw A. Dudek Intuitionistic fuzzy left k -ideals of semirings. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Intuitionistic fuzzy left k-ideal, Normal fuzzy set, Fuzzy characteristic, Descending chain, Semiring
22Mark 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
22Jules 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
22Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi Towards automatic parallelization of tree reductions in dynamic programming. Search on Bibsonomy SPAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF commutative semiring, parallel tree contraction, parallel programming, dynamic programming, code generator, tree
22Shamik Ghosh, Francis J. Pastijn, Xianzhong Zhao Varieties Generated by Ordered Bands I. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF idempotent semiring, identity, order, variety, band
22Karl R. Abrahamson A Time-Space Tradeoff for Boolean Matrix Multiplication Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF branching program model, lower bounds, upper bounds, deterministic algorithm, semiring, time-space tradeoff, Boolean matrix multiplication
20Alvaro Otero Sanchez, Juan Antonio López-Ramos Cryptoanalysis of a key exchange protocol based on a congruence-simple semiring action. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva A note on solving basic equations over the semiring of functional digraphs. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Erich Grädel, Niels Lücking, Matthias Naaf Semiring Provenance for B"uchi Games: Strategy Analysis with Absorptive Polynomials. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20David Dolzan The unitary Cayley graph of a semiring. Search on Bibsonomy Discret. Math. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Andreas Goral, Joachim Giesen, Mark Blacher, Christoph Staudt, Julien Klaus Model Counting and Sampling via Semiring Extensions. Search on Bibsonomy AAAI The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Miika Hannula Conditional Independence on Semiring Relations. Search on Bibsonomy ICDT The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Sophie Brinke, Erich Grädel, Lovro Mrkonjic Ehrenfeucht-Fraïssé Games in Semiring Semantics. Search on Bibsonomy CSL The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Amra Omanovic, Polona Oblak, Tomaz Curk Matrix Tri-Factorization Over the Tropical Semiring. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jirí Mockor Cut Systems with Relational Morphisms for Semiring-Valued Fuzzy Structures. Search on Bibsonomy Axioms The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Thomas Eiter, Rafael Kiesel Semiring Reasoning Frameworks in AI and Their Computational Complexity. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Rustem Takhanov Computing a Partition Function of a Generalized Pattern-Based Energy over a Semiring. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Oscar Chang, Dongseong Hwang, Olivier Siohan Revisiting the Entropy Semiring for Neural Speech Recognition. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Rustem Takhanov Computing a partition function of a generalized pattern-based energy over a semiring. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Amra Omanovic, Polona Oblak, Tomaz Curk Matrix tri-factorization over the tropical semiring. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Laure Daviaud, Marianne Johnson Feasability of Learning Weighted Automata on a Semiring. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Camille Bourgaux, Ana Ozaki, Rafael Peñaloza Semiring Provenance for Lightweight Description Logics. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Juan Pedro Hecht, Hugo Daniel Scolnik A Post Quantum Key Agreement Protocol Based on a Modified Matrix Power Function over a Rectangular Matrices Semiring. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Clotilde Bizière, Erich Grädel, Matthias Naaf Locality Theorems in Semiring Semantics. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Miika Hannula Conditional independence on semiring relations. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Sophie Brinke, Erich Grädel, Lovro Mrkonjic Ehrenfeucht-Fraïssé Games in Semiring Semantics. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Andreas Opedal, Ran Zmigrod, Tim Vieira, Ryan Cotterell, Jason Eisner Efficient Semiring-Weighted Earley Parsing. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jirí Mockor Approximations of semiring-valued fuzzy sets with applications in new fuzzy structures. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Clotilde Bizière, Erich Grädel, Matthias Naaf Locality Theorems in Semiring Semantics. Search on Bibsonomy MFCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 329 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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