Search results for "residuation"

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