The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1990-2003 (19) 2004-2007 (15) 2008-2014 (16) 2017-2023 (15)
Publication types (Num. hits)
article(35) incollection(1) inproceedings(29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 62 occurrences of 46 keywords

Results
Found 65 publication records. Showing 65 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
134Joel Berman, Willem J. Blok Free Lukasiewicz and Hoop Residuation Algebras. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra
104Baohua Fan, Heying Zhang, Wenhua Dou Application of Residuation Theory in Network Calculus. Search on Bibsonomy NAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
85Grigorios Grivas, Alexios Palinginis Compiling Residuation for a Multiparadigm Symbolic Programming Language. Search on Bibsonomy DISCO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
63Carlos Areces, Raffaella Bernardi Analyzing the Core of Categorial Grammar. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF categorial type logics, display calculi, residuation, Galois connections, categorial grammar
52Marta A. Zander Decomposability of the Finitely Generated Free Hoop Residuation Algebra. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hoop residuation algebras, decomposability, free algebras
47Gerhard Jäger Residuation, Structural Rules and Context Freeness. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF generative capacity, mathematical linguistics, multimodal type logical grammar, categorial grammar
44Andrew P. Tolmach, Sergio Antoy, Marius Nita Implementing functional logic languages using multiple threads and stores. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF functional logic languages, multi-versioned stores, residuation, narrowing
38Vaughan R. Pratt Rational Mechanisms and Natural Mathematics. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Umberto Rivieccio Fragments of quasi-Nelson: residuation. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Ivan Chajda, Helmut Länger Operator residuation in orthomodular posets of finite height. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Blaise Blériot Koguep Njionou, Léonard Kwuida, Célestin Lélé Formal Concepts and Residuation on Multilattices. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Fabio Gadducci, Francesco Santini 0001 Distributivity and residuation for lexicographic orders. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Ivan Chajda, Helmut Länger Inexact Residuation in Effect Algebras. Search on Bibsonomy J. Multiple Valued Log. Soft Comput. The full citation details ... 2022 DBLP  BibTeX  RDF
27Marcus Greferath, Cornelia Rößing Group testing via residuation and partial geometries. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
27Rosana Medina Zanotelli, Bruno Moura 0001, Renata Reiser, Benjamín R. C. Bedregal On the residuation principle of n-dimensional R-implications. Search on Bibsonomy Soft Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Fabio Gadducci, Francesco Santini 0001 Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
27Nathan Haydon, Ahti-Veikko Pietarinen Residuation in Existential Graphs. Search on Bibsonomy Diagrams The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Fabio Gadducci, Francesco Santini 0001 Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. Search on Bibsonomy JELIA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Richard Moot Partial Orders, Residuation, and First-Order Linear Logic. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
27Ivan Chajda, Davide Fazio On residuation in paraorthomodular lattices. Search on Bibsonomy Soft Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Ivan Chajda, Helmut Länger Residuation in lattice effect algebras. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Michael Hanus Improving Residuation in Declarative Programs. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Fabio Gadducci, Francesco Santini 0001 Residuation for bipolar preferences in soft constraints. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Manuel Ojeda-Aciego On residuation in multilattices: Filters, congruences, and homomorphisms. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27V. Michele Abrusci On Residuation. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Wojciech Buszkowski Multi-Sorted Residuation. Search on Bibsonomy Categories and Types in Logic, Language, and Physics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Bruno Leclerc, Bernard Monjardet Aggregation and Residuation. Search on Bibsonomy Order The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
27Éric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda Residuation of tropical series: Rationality issues. Search on Bibsonomy CDC/ECC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
27Michael Moortgat Symmetric categorial grammar: residuation and Galois connections Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
27Janusz Czelakowski Additivity of the commutator and residuation. Search on Bibsonomy Reports Math. Log. The full citation details ... 2008 DBLP  BibTeX  RDF
27James G. Raftery, Clint J. van Alten Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. Search on Bibsonomy Reports Math. Log. The full citation details ... 2005 DBLP  BibTeX  RDF
27Glad Deschrijver, Etienne E. Kerre Classes Of Intuitionistic Fuzzy T-Norms Satisfying The Residuation Principle. Search on Bibsonomy Int. J. Uncertain. Fuzziness Knowl. Based Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Glad Deschrijver, Etienne E. Kerre A method for constructing non t-representable intuitionistic fuzzy t-norms satisfying the residuation principle. Search on Bibsonomy EUSFLAT Conf. The full citation details ... 2003 DBLP  BibTeX  RDF
27Gerhard Jäger Residuation, Structural Rules and Context Freeness. Search on Bibsonomy TAG+ The full citation details ... 2002 DBLP  BibTeX  RDF
27James G. Raftery, Clint J. van Alten Residuation in Commutative Ordered Monoids with Minimal Zero. Search on Bibsonomy Reports Math. Log. The full citation details ... 2000 DBLP  BibTeX  RDF
27Heinrich Wansing Modal Tableaux Based on Residuation. Search on Bibsonomy J. Log. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Achille Achache, Arturo A. L. Sangalli Préordres, résiduation et espaces de fermeture. Search on Bibsonomy Discret. Math. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
27Hendrik C. R. Lock Residuation with Type Constraints is Complete. Search on Bibsonomy WLP The full citation details ... 1993 DBLP  BibTeX  RDF
27Gert Smolka Residuation and Guarded Rules for Constraint Logic Programming. Search on Bibsonomy Informatik The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
27Michael Hanus On the Completeness of Residuation. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
27Gert Smolka Residuation and Guarded Rules for Constraint Logic Programming. Search on Bibsonomy WCLP The full citation details ... 1991 DBLP  BibTeX  RDF
27J. Michael Dunn Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
24Raffaella Bernardi, Anna Szabolcsi Optionality, Scope, and Licensing: An Application of Partially Ordered Categories. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boolean connectives, Typed feature structures, Natural language syntax, Polarity items, Partial order, Licensing, Residuation, Galois-connection, Scope, Optionality
24Jeffrey S. Olson Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF positive universal formulas, subdirectly irreducible algebras, contraction, linear logic, residuated lattices, Residuation
24Nikolaos Galatos, James G. Raftery Adding Involution to Residuated Structures. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution
24Lou Goble Combinator Logics. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fusion, residuation, substructural logics, Relevant logics, combinatory logic
24Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen Incremental execution of transformation specifications. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF language factors, residuation operators, transformation specification, logic programming, constraints, program transformation, program analysis, incremental algorithm
24Michael Hanus Teaching Functional and Logic Programming with a Single Computational Model. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Keyword Functional logic languages, integration of paradigms, lazy evaluation, residuation, narrowing
24Hassan Aït-Kaci, Andreas Podelski Functions as Passive Constraints in LIFE. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF ?-terms, committed-choice languages, first-order terms, relative simplification, matching, unification, residuation, coroutining, concurrent constraint programming
19Manuel Abad, J. Patricio Díaz Varela Factor congruences in BCK -algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Factor congruences, Implicative filters, Pocrims, Hoops, BCK-algebras, Decomposability, Free algebras
19Linda Postniece Deep Inference in Bi-intuitionistic Logic. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Baohua Fan, Heying Zhang, Wenhua Dou A Max-plus Network Calculus. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Wojciech Buszkowski, Maciej Farulewski Nonassociative Lambek Calculus with Additives and Context-Free Languages. Search on Bibsonomy Languages: From Formal to Natural The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone Modal interfaces: unifying interface automata and modal specifications. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF modal specifications, compatibility, interface automata
19Mai Gehrke Stone Duality and the Recognisable Languages over an Algebra. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna Basic Hoops: an Algebraic Study of Continuous t -norms. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF basic hoops, continuous t-norms, subreducts of BL-algebras
19Matthew Naylor, Emil Axelsson, Colin Runciman A functional-logic library for wired. Search on Bibsonomy Haskell The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hybrid timed event graph, (min, +) algebra, Just-in-time control
19Éric Badouel, Jules Chenou, Goulven Guillou Petri Algebras. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Sabine Glesner, Wolf Zimmermann Natural semantics as a static program analysis framework. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fixed-point program analyses, constraint solving, semantic analysis, compiler generators, static program analysis, Natural semantics
19Salvador España Boquera, Vicent Estruch A Memoizing Semantics for Functional Logic Languages. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Programming languages, formal semantics, memoization
19Bernhard 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
19Éric Badouel, Jules Chenou Nets Enriched over Closed Monoidal Structures. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Jean-Yves Le Boudec, Patrick Thiran Min-plus and Max-plus System Theory Applied to Communication Networks. Search on Bibsonomy POSTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Jan 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
Displaying result #1 - #65 of 65 (100 per page; Change: )
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