The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1953-1986 (15) 1987-1991 (15) 1992-1995 (17) 1996-1998 (17) 1999-2001 (21) 2002-2003 (15) 2004-2005 (17) 2006-2007 (22) 2008-2009 (20) 2010-2011 (17) 2012-2015 (18) 2016-2017 (16) 2018-2020 (21) 2021-2023 (12)
Publication types (Num. hits)
article(130) incollection(1) inproceedings(110) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 104 occurrences of 88 keywords

Results
Found 243 publication records. Showing 243 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
83Luca 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
77Amélie Gheerbrant, Balder ten Cate Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fragments of MSO, Henkin semantics, Ehrenfeucht-Fraïssé games, Feferman-Vaught theorems, Trees, Axiomatizations
57Peter Dybjer, Anton Setzer Indexed Induction-Recursion. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
50Siegfried Gottwald Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets
50Siegfried Gottwald Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF higher level fuzzy sets, set theoretic universes, axiomatic set theories, categories of fuzzy sets, M-valued sets, fuzzy sets
49Szabolcs Mikulás, Mark Reynolds 0001, Tim French 0002 Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. Search on Bibsonomy TIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF temporal logic, epistemic logic, complete axiomatizations
43Marc Pauly On the role of language in social choice theory. Search on Bibsonomy Synth. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logic, Judgment aggregation, Social choice theory
43Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik Finite Equational Bases in Process Algebra: Results and Open Questions. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Rob J. van Glabbeek Axiomatizing Flat Iteration. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
42Eugene W. Stark, Rance Cleaveland, Scott A. Smolka Probabilistic I/O Automata: Theories of Two Equivalences. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
36Yuxin Deng, Catuscia Palamidessi Axiomatizations for Probabilistic Finite-State Behaviors. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Ron van der Meyden, Ka-Shu Wong Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF perfect recall, multi-agent systems, temporal logic, modal logic, epistemic logic, synchrony, logic of knowledge, branching time
36Emanuele Bandini, Roberto Segala Axiomatizations for Probabilistic Bisimulation. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Gernot Salzer Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
36Wojciech Penczek Axiomatizations of Temporal Logics on Trace Systems. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Classification Theory of Parallel and Distributed Computation, Semantics and Logics of Programming Languages, Logic in Computer Science
36Michel Billaud Axiomatizations of Backtracking. Search on Bibsonomy STACS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF foundations of logic programming, equivalence of program schemes, Prolog, backtracking, depth-first search, algebraic semantics, semantics of programming languages
29Alessandra Palmigiano, Yde Venema Nabla Algebras and Chu Spaces. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra
29Yuxin Deng, Catuscia Palamidessi, Jun Pang 0001 Compositional Reasoning for Probabilistic Finite-State Behaviors. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Joseph Y. Halpern, Leandro Chaves Rêgo Interactive unawareness revisited. Search on Bibsonomy TARK The full citation details ... 2005 DBLP  BibTeX  RDF
29Willem J. Blok, James G. Raftery Fragments of R-Mingle. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Sugihara algebra, mingle, fragment, RM, relevance logic
29Ron van der Meyden, Manas K. Patra A Logic for Probability in Quantum Systems. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Joachim Parrow, Björn Victor The Tau-Laws of Fusion. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Qing Guo, Paliath Narendran, Sandeep K. Shukla Unification and Matching in Process Algebras. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Reiner Hähnle Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF commodious axiomatization, distribution quantifiers, lattice-based quantifiers, skolemized signed formulas, Boolean set lattices, Boolean functions, filters, multivalued logic, multiple-valued logic, quantifiers
29John Hannan Searching For Semantics. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
29Vaughan R. Pratt Process Logic. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
27Mark Reynolds 0001 More Past Glories. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal logic, automata, axiomatizations
21Ali Enayat, Mateusz Lelyk Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. Search on Bibsonomy J. Symb. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Søren Brinck Knudstorp Modal Information Logics: Axiomatizations and Decidability. Search on Bibsonomy J. Philos. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Özer Selçuk, Takamasa Suzuki Comparable axiomatizations of the average tree solution and the Myerson value. Search on Bibsonomy Int. J. Game Theory The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan Synthesizing axiomatizations using logic learning. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Zhengxing Zou, René van den Brink, Youngsub Chun, Yukihiko Funaki Axiomatizations of the proportional division value. Search on Bibsonomy Soc. Choice Welf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Sascha Kurz, Issofa Moyouwou, Hilaire Touyem Axiomatizations for the Shapley-Shubik power index for games with several levels of approval in the input and output. Search on Bibsonomy Soc. Choice Welf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Sylvain Béal, André Casajus, Eric Rémila, Philippe Solal Cohesive efficiency in TU-games: axiomatizations of variants of the Shapley value, egalitarian values and their convex combinations. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Xun-Feng Hu 0001 New axiomatizations of the Owen value. Search on Bibsonomy Math. Methods Oper. Res. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Jie Fan 0001 Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations. Search on Bibsonomy Logica Universalis The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Antonis Achilleos, Mathias Ruggaard Pedersen Axiomatizations and Computability of Weighted Monadic Second-Order Logic. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Zhiwei Cui, Yan-An Hwang, Ding-Cheng You Axiomatizations of the β and the score measures in networks. Search on Bibsonomy Int. J. Game Theory The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Antonis Achilleos, Mathias Ruggaard Pedersen Axiomatizations and Computability of Weighted Monadic Second-Order Logic. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Manfred Besner Parallel axiomatizations of weighted and multiweighted Shapley values, random order values, and the Harsanyi set. Search on Bibsonomy Soc. Choice Welf. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Manfred Besner Correction to: Parallel axiomatizations of weighted and multiweighted Shapley values, random order values, and the Harsanyi set. Search on Bibsonomy Soc. Choice Welf. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Asadollah Fallahi Simple Axiomatizations for Pretabular Classical Relevance Logics. Search on Bibsonomy Stud Logica The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Sascha Kurz, Issofa Moyouwou, Hilaire Touyem Axiomatizations for the Shapley-Shubik power index for games with several levels of approval in the input and output. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
21Takaaki Abe Axiomatizations of coalition aggregation functions. Search on Bibsonomy Math. Soc. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Marco Bernardo 0001 Towards General Axiomatizations for Bisimilarity and Trace Semantics. Search on Bibsonomy WADT The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Nick Bezhanishvili Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. Search on Bibsonomy AiML The full citation details ... 2020 DBLP  BibTeX  RDF
21László Csató Axiomatizations of inconsistency indices for triads. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Rob Egrot Recursive axiomatizations for representable posets. Search on Bibsonomy Int. J. Algebra Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Catarina Dutilh Novaes Axiomatizations of arithmetic and the first-order/second-order divide. Search on Bibsonomy Synth. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Urszula Wybraniec-Skardowska On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers. Search on Bibsonomy Axioms The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Yaroslav Shramko, Dmitry Zaitsev 0002, Alexander Belikov 0001 The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins. Search on Bibsonomy J. Philos. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Rob Egrot Recursive axiomatizations from separation properties. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Fan Yang 0004 Negation and partial axiomatizations of dependence and independence logic revisited. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Pedro Calleja, Francesc Llerena Path monotonicity, consistency and axiomatizations of some weighted solutions. Search on Bibsonomy Int. J. Game Theory The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Adam Grabowski, Damian Sawicki On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander. Search on Bibsonomy Formaliz. Math. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Carlo Nicolai Provably True Sentences Across Axiomatizations of Kripke's Theory of Truth. Search on Bibsonomy Stud Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21László Csató Axiomatizations of inconsistency indices for triads. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
21Martin Lück Axiomatizations of team logics. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Rob Egrot No finite axiomatizations for posets embeddable into distributive lattices. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Stephan Alexander Spahn Axiomatizations of Compositional Inductive-Recursive Definitions Search on Bibsonomy 2018   RDF
21Shiran Rachmilevitch Axiomatizations of the equal-loss and weighted equal-loss bargaining solutions. Search on Bibsonomy Soc. Choice Welf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Yu-Hsien Liao The supreme-consistent value for fuzzy transferable-utility games: Alternative formulation, dynamic process and axiomatizations. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Radomír Halas, Radko Mesiar, Jozef Pócs Generalized comonotonicity and new axiomatizations of Sugeno integrals on bounded distributive lattices. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Fredrik Engström, Juha Kontinen, Jouko Väänänen Dependence logic with generalized quantifiers: Axiomatizations. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira Axiomatizations for downward XPath on data trees. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Fan Yang 0004 Modal dependence logics: axiomatizations and model-theoretic properties. Search on Bibsonomy Log. J. IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Yu-Hsien Liao Fuzzy games: a complement-consistent solution, axiomatizations and dynamic approaches. Search on Bibsonomy Fuzzy Optim. Decis. Mak. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Ling-Yun Chung, Yu-Hsien Liao, Wen-Ying Hsieh, Tsu-Yin Chen, Chen-Kun Lin Alternative Reductions and Axiomatizations of the Unit-Level-Core. Search on Bibsonomy Asia Pac. J. Oper. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21John Kleppe, Hans Reijnierse, Peter Sudhölter Axiomatizations of symmetrically weighted solutions. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira Axiomatizations for downward XPath on Data Trees. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
21Martin Lück Axiomatizations of Team Logics. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
21Petr Cintula A note on axiomatizations of Pavelka-style complete fuzzy logics. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Yu-Hsien Liao The consistent value for fuzzy games: alternative axiomatizations. Search on Bibsonomy Fuzzy Optim. Decis. Mak. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Pascal Hitzler, Adila Krisnadhi On the Roles of Logical Axiomatizations for Ontologies. Search on Bibsonomy Ontology Engineering with Ontology Design Patterns The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Fan Yang 0004 Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. Search on Bibsonomy WoLLIC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Martin Lück Axiomatizations for Propositional and Modal Team Logic. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Genjiu Xu, Han Dai, Haobin Shi Axiomatizations and a Noncooperative Interpretation of the α-CIS Value. Search on Bibsonomy Asia Pac. J. Oper. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Adam Grabowski Two Axiomatizations of Nelson Algebras. Search on Bibsonomy Formaliz. Math. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Tsuyoshi Adachi, Takumi Kongo Further axiomatizations of Egghe's g-index. Search on Bibsonomy J. Informetrics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Grigoriy V. Bokov Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication. Search on Bibsonomy Log. J. IGPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Yu-Hsien Liao Solutions, Potentializability and Axiomatizations under Interval Uncertainty. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Evgeny Zolin Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi. Search on Bibsonomy Stud Logica The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Grigoriy V. Bokov Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
21Jesse Alama Some problems with two axiomatizations of discussive logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
21Arto Salomaa On Axiomatizations of General Many-Valued Propositional Calculi. Search on Bibsonomy Discrete Mathematics and Computer Science The full citation details ... 2014 DBLP  BibTeX  RDF
21Matthias Horbach, Viorica Sofronie-Stokkermans Locality Transfer: From Constrained Axiomatizations to Reachability Predicates. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Yanjing Wang 0001, Qinxiang Cao On axiomatizations of public announcement logic. Search on Bibsonomy Synth. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Marcello M. Bonsangue, Stefan Milius, Alexandra Silva 0001 Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Fredrik Engström, Juha Kontinen, Jouko A. Väänänen Dependence Logic with Generalized Quantifiers: Axiomatizations Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
21Fredrik Engström, Juha Kontinen, Jouko A. Väänänen Dependence Logic with Generalized Quantifiers: Axiomatizations. Search on Bibsonomy WoLLIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. Search on Bibsonomy CALCO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Matthias Horbach, Viorica Sofronie-Stokkermans Obtaining Finite Local Theory Axiomatizations via Saturation. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Yu-Hsien Liao Alternative Axiomatizations of the Shapley Value under Interval Uncertainty. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Amélie Gheerbrant, Balder ten Cate Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Miguel Couceiro, Tamás Waldhauser Axiomatizations and Factorizations of Sugeno Utility Functions. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Marta Cardin, Miguel Couceiro, Silvio Giove, Jean-Luc Marichal Axiomatizations of Signed Discrete Choquet integrals. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Tarek Sayed Ahmed On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras. Search on Bibsonomy Math. Log. Q. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Marcello M. Bonsangue, Stefan Milius, Alexandra Silva 0001 Sound and complete axiomatizations of coalgebraic language equivalence Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
21Miguel Couceiro, Jean-Luc Marichal Axiomatizations of Lovász extensions of pseudo-Boolean functions. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 243 (100 per page; Change: )
Pages: [1][2][3][>>]
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