Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
134 | Joel Berman, Willem J. Blok |
Free Lukasiewicz and Hoop Residuation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 153-180, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAS ![In: International Conference on Networking, Architecture, and Storage, NAS 2009, 9-11 July 2009, Zhang Jia Jie, Hunan, China, pp. 180-183, 2009, IEEE Computer Society, 978-0-7695-3741-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
85 | Grigorios Grivas, Alexios Palinginis |
Compiling Residuation for a Multiparadigm Symbolic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp. 331-342, 1996, Springer, 3-540-61697-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
63 | Carlos Areces, Raffaella Bernardi |
Analyzing the Core of Categorial Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(2), pp. 121-137, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(2), pp. 233-246, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hoop residuation algebras, decomposability, free algebras |
47 | Gerhard Jäger |
Residuation, Structural Rules and Context Freeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(1), pp. 47-59, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 90-102, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
functional logic languages, multi-versioned stores, residuation, narrowing |
38 | Vaughan R. Pratt |
Rational Mechanisms and Natural Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 108-122, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Umberto Rivieccio |
Fragments of quasi-Nelson: residuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 33(1), pp. 52-119, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Ivan Chajda, Helmut Länger |
Operator residuation in orthomodular posets of finite height. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 467, pp. 108589, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Blaise Blériot Koguep Njionou, Léonard Kwuida, Célestin Lélé |
Formal Concepts and Residuation on Multilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 188(4), pp. 217-237, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Fabio Gadducci, Francesco Santini 0001 |
Distributivity and residuation for lexicographic orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 177, pp. 106271, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Ivan Chajda, Helmut Länger |
Inexact Residuation in Effect Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 38(1-2), pp. 57-79, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
27 | Marcus Greferath, Cornelia Rößing |
Group testing via residuation and partial geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.05876, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 26(17), pp. 8403-8426, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Fabio Gadducci, Francesco Santini 0001 |
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.06741, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Nathan Haydon, Ahti-Veikko Pietarinen |
Residuation in Existential Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings, pp. 229-237, 2021, Springer, 978-3-030-86061-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Fabio Gadducci, Francesco Santini 0001 |
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings, pp. 162-176, 2021, Springer, 978-3-030-75774-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Richard Moot |
Partial Orders, Residuation, and First-Order Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.06351, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Ivan Chajda, Davide Fazio |
On residuation in paraorthomodular lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 24(14), pp. 10295-10304, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Ivan Chajda, Helmut Länger |
Residuation in lattice effect algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 397, pp. 168-178, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Michael Hanus |
Improving Residuation in Declarative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings, pp. 82-97, 2019, Springer, 978-3-030-05997-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Fabio Gadducci, Francesco Santini 0001 |
Residuation for bipolar preferences in soft constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 118, pp. 69-74, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 234, pp. 1-21, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | V. Michele Abrusci |
On Residuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 14-27, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Wojciech Buszkowski |
Multi-Sorted Residuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categories and Types in Logic, Language, and Physics ![In: Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, pp. 136-155, 2014, Springer, 978-3-642-54788-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Bruno Leclerc, Bernard Monjardet |
Aggregation and Residuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 30(1), pp. 261-268, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Éric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda |
Residuation of tropical series: Rationality issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 50th IEEE Conference on Decision and Control and European Control Conference, 11th European Control Conference, CDC/ECC 2011, Orlando, FL, USA, December 12-15, 2011, pp. 3855-3861, 2011, IEEE, 978-1-61284-800-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Michael Moortgat |
Symmetric categorial grammar: residuation and Galois connections ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1008.0170, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
27 | Janusz Czelakowski |
Additivity of the commutator and residuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 43, pp. 109-132, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | James G. Raftery, Clint J. van Alten |
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 39, pp. 133-135, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
27 | Glad Deschrijver, Etienne E. Kerre |
Classes Of Intuitionistic Fuzzy T-Norms Satisfying The Residuation Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 11(6), pp. 691-710, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, Zittau, Germany, September 10-12, 2003, pp. 164-167, 2003, University of Applied Sciences at Zittau/Görlitz, Germany, 3-9808089-4-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Gerhard Jäger |
Residuation, Structural Rules and Context Freeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAG+ ![In: Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks, TAG+ 2002, Venice, Italy, May 20-23, 2002, pp. 151-158, 2002, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
27 | James G. Raftery, Clint J. van Alten |
Residuation in Commutative Ordered Monoids with Minimal Zero. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 34, pp. 23-57, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
27 | Heinrich Wansing |
Modal Tableaux Based on Residuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 7(6), pp. 719-731, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Achille Achache, Arturo A. L. Sangalli |
Préordres, résiduation et espaces de fermeture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 130(1-3), pp. 3-7, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Hendrik C. R. Lock |
Residuation with Type Constraints is Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146., pp. 60-63, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
27 | Gert Smolka |
Residuation and Guarded Rules for Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatik ![In: Informatik, Festschrift zum 60. Geburtstag von Günter Hotz, pp. 387-400, 1992, Teubner / Springer, 978-3-8154-2033-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Michael Hanus |
On the Completeness of Residuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JICSLP ![In: Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992, pp. 192-206, 1992, MIT Press, 0-262-51064-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
27 | Gert Smolka |
Residuation and Guarded Rules for Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 405-419, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 31-51, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Raffaella Bernardi, Anna Szabolcsi |
Optionality, Scope, and Licensing: An Application of Partially Ordered Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(3), pp. 237-283, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 393-406, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(2), pp. 181-207, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution |
24 | Lou Goble |
Combinator Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(1), pp. 17-66, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 26-38, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 335-350, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1279-1318, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(10), pp. 1007-1012, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 320-334, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Baohua Fan, Heying Zhang, Wenhua Dou |
A Max-plus Network Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 149-154, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Wojciech Buszkowski, Maciej Farulewski |
Nonassociative Lambek Calculus with Additives and Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Languages: From Formal to Natural ![In: Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday, pp. 45-58, 2009, Springer, 978-3-642-01747-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 87-96, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
19 | Mai Gehrke |
Stone Duality and the Recognisable Languages over an Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 236-250, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna |
Basic Hoops: an Algebraic Study of Continuous t -norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(1), pp. 73-98, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 37-48, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(2), pp. 241-256, 2006. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 742-754, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Sabine Glesner, Wolf Zimmermann |
Natural semantics as a static program analysis framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(3), pp. 510-577, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 109-123, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Programming languages, formal semantics, memoization |
19 | Bernhard Möller, Georg Struth |
Greedy-Like Algorithms in Modal Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers, pp. 202-215, 2003, Springer, 3-540-22145-X. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 64-81, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jean-Yves Le Boudec, Patrick Thiran |
Min-plus and Max-plus System Theory Applied to Communication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POSTA ![In: Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003, pp. 7-14, 2003, Springer, 3-540-40342-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 11(1-2), pp. 59-75, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
hybrid petri nets, timed event graphs, dioid algebra, control, transfer function |