Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
78 | Lili Shen, Xiaoye Tang |
Isbell Adjunctions and Kan Adjunctions via Quantale-Enriched Two-Variable Adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 30(2), pp. 223-245, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
76 | Lutz Schröder |
Monads on Composition Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(3), pp. 221-236, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
composition graph, Kleisli category, algebra, monad, adjunction |
64 | Renato Keshet, Henk J. A. M. Heijmans |
Adjunctions in Pyramids and Curve Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale-Space and Morphology in Computer Vision, Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001, Proceedings, pp. 149-160, 2001, Springer, 3-540-42317-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Hitoshi Furusawa |
The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions. ![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. 124-136, 2003, Springer, 3-540-22145-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Dali Zangurashvili |
Adjunctions and Locally Transferable Factorization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(6), pp. 625-650, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
factorization system, local factorization system, universal split monomorphism, pointed endomapping, locally transferable factorization system, injective object, sufficient class of injectives |
38 | Robert Atkey |
Algebras for Parameterised Monads. ![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. 3-17, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Fernand Meyer, Jean Stawiaski |
Morphology on Graphs and Minimum Spanning Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Application to Signal and Image Processing, 9th International Symposium, ISMM 2009, Groningen, The Netherlands, August 24-27, 2009 Proceedings, pp. 161-170, 2009, Springer, 978-3-642-03612-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
adjunctions on graphs, minimum spanning tree, Waterfall |
27 | Piero Pagliani, Mihir K. Chakraborty |
Formal Topology and Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Trans. Rough Sets 6, pp. 253-297, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
formal topology, Galois adjunctions, information quanta, pointless topology, pretopology, rough sets, information systems, approximation spaces |
27 | George Voutsadakis |
Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(3), pp. 265-280, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems |
27 | Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter |
Relating Categorical Semantics for Intuitionistic Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(1), pp. 1-36, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
intuitionistic linear logic, symmetric monoidal closed categories, symmetric monoidal adjunctions, typed lambda calculus |
27 | George Voutsadakis |
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(4), pp. 473-491, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples |
27 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Algebraizable Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(6), pp. 531-568, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples |
26 | Luca Reggio, Colin Riba |
Finitely accessible arboreal adjunctions and Hintikka formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.12709, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Manuel Araújo |
Coherence for adjunctions in a 3-category via string diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compositionality ![In: Compositionality 4, pp. 2, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano |
Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 9(1), pp. 445-494, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Samy Blusseau, Santiago Velasco-Forero, Jesús Angulo, Isabelle Bloch |
Morphological Adjunctions Represented by Matrices in Max-Plus Algebra for Signal and Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGMM ![In: Discrete Geometry and Mathematical Morphology - Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings, pp. 206-218, 2022, Springer, 978-3-031-19896-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | José Nuno Oliveira |
Why Adjunctions Matter - A Functional Programmer Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers, pp. 25-59, 2022, Springer, 978-3-031-43344-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Christoph Schwarzweller |
Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 28(3), pp. 251-261, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla |
Computational Petri Nets: Adjunctions Considered Harmful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.12974, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu |
Relational algebra by way of adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(ICFP), pp. 86:1-86:28, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Tommaso Moraschini |
A Logical and Algebraic characterization of Adjunctions between generalized quasi-Varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 83(3), pp. 899-919, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Dragan Masulovic |
Pre-adjunctions and the Ramsey property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 70, pp. 268-283, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Exequiel Rivas |
Relating Idioms, Arrows and Monads from Monoidal Adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@FSCD ![In: Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018., pp. 18-33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Bassel Mannaa, Rasmus Ejlers Møgelberg |
The clocks they are adjunctions: Denotational semantics for Clocked Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.06687, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | Robert Furber |
Categorical Equivalences from State-Effect Adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018., pp. 107-126, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | P. F. Faul |
Adjunctions in the study of broadcast domination with a cost function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 72, pp. 70-81, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | Bassel Mannaa, Rasmus Ejlers Møgelberg |
The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 23:1-23:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Adriana Balan |
On Hopf Adjunctions, Hopf Monads and Frobenius-Type Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(5), pp. 747-774, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Francesco Genovese |
Adjunctions of Quasi-Functors Between DG-Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(4), pp. 625-657, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Salch |
How many Adjunctions give Rise to the same Monad? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 25(5), pp. 875-891, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets |
On the construction of adjunctions between a fuzzy preposet and an unstructured set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 320, pp. 81-92, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego |
Towards relational fuzzy adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017, Naples, Italy, July 9-12, 2017, pp. 1-5, 2017, IEEE, 978-1-5090-6034-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Eugene W. Stark |
Category Theory with Adjunctions and Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot |
Duality of Equations and Coequations via Contravariant Adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, pp. 73-93, 2016, Springer, 978-3-319-40369-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego |
On fuzzy relations, adjunctions, and functional fuzzy relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCI ![In: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016, Athens, Greece, December 6-9, 2016, pp. 1-7, 2016, IEEE, 978-1-5090-4240-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego |
On Closure Systems and Adjunctions Between Fuzzy Preordered Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis - 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings, pp. 114-127, 2015, Springer, 978-3-319-19544-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez |
On the definition of suitable orderings to generate adjunctions over an unstructured codomain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 286, pp. 173-187, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Henning Kerstan, Barbara König 0001, Bram Westerbaan |
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 168-188, 2014, Springer, 978-3-662-44123-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Koki Nishizawa, Hitoshi Furusawa |
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings, pp. 261-276, 2014, Springer, 978-3-319-06250-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego |
On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing - 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings, pp. 211-221, 2014, Springer, 978-3-319-08643-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Fernand Meyer |
Adjunctions on the Lattice of Dendrograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GbRPR ![In: Graph-Based Representations in Pattern Recognition - 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 2013. Proceedings, pp. 91-100, 2013, Springer, 978-3-642-38220-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud |
Adjunctions for exceptions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.1255, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Bart Jacobs 0001, Jorik Mandemaker |
Relating Operator Spaces via Adjunctions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1201.1272, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Elias Zafiris |
Rosen's modelling relations via categorical adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 41(5), pp. 439-474, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Javier J. Gutiérrez 0002 |
Transfer of algebras over operads along Quillen adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 86(2), pp. 607-625, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Lingqiang Li, Qiu Jin |
On adjunctions between Lim, SL-Top, and SL-Lim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 182(1), pp. 66-78, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Christian Ronse |
Adjunctions on the lattices of partitions and of partial partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 21(5), pp. 343-396, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Ralf Hinze |
Generic Programming with Adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSGIP ![In: Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures, pp. 47-129, 2010, Springer, 978-3-642-32201-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Yun Shi, Mike Nachtegael, Da Ruan 0001, Etienne E. Kerre |
Fuzzy adjunctions and fuzzy morphological operations based on implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 24(12), pp. 1280-1296, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Paul Blain Levy |
Monads and Adjunctions for Global Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006, pp. 261-287, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Kosta Dosen, Zoran Petric |
Negation and Involutive Adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
We Will Show Them! (1) ![In: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, pp. 577-586, 2005, College Publications, 1-904987-25-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Claudio Hermida, Paulo Mateus |
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 311(1-3), pp. 71-103, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Izumi Ojima |
A Unified Scheme for Generalized Sectors Based on Selection Criteria: Order Parameters of Symmetries and of Thermality and Physical Meanings of Adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 10(3), pp. 235-280, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Renato Keshet, Henk J. A. M. Heijmans |
Adjunctions in Pyramids, Curve Evolution and Scale-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 52(2-3), pp. 139-151, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Miguel A. Alonso 0001, Víctor J. Díaz |
Parsing Tree Adjoining Grammars and Tree Insertion Grammars with Simultaneous Adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPT ![In: Proceedings of the Eighth International Conference on Parsing Technologies, IWPT 2003, Nancy, France, April 2003, pp. 19-30, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
26 | Ola Angelsmark |
Constraints, Adjunctions and (Co)algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science, CMCS 2000, Berlin, Germany, March 25-26, 2000, pp. 3-12, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Günther Richter |
Reflective relatives of adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 4(1), pp. 31-41, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Michael W. Mislove, Frank J. Oles |
Adjunctions Between Categories of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 22(1/2), pp. 93-116, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg |
The Category of Typed Graph Grammars and its Adjunctions with Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAGT ![In: Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers, pp. 56-74, 1994, Springer, 3-540-61228-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Claudio Hermida |
On Fibred Adjunctions and Completeness for Fibred Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers, pp. 235-251, 1992, Springer, 3-540-57867-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | C. E. Martin, C. A. R. Hoare, Jifeng He 0001 |
Pre-Adjunctions in Order Enriched Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 1(2), pp. 141-158, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Isabelle Bloch |
Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 1-13, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy mathematical morphology, bipolar mathematical morphology, bipolar spatial information, spatial reasoning, spatial relations |
19 | Jean Cousty, Laurent Najman, Jean Serra |
Some Morphological Operators in Graph Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Application to Signal and Image Processing, 9th International Symposium, ISMM 2009, Groningen, The Netherlands, August 24-27, 2009 Proceedings, pp. 149-160, 2009, Springer, 978-3-642-03612-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | José L. Castiglioni, Matías Menni, Marta Sagastume |
On Some Categories of Involutive Centered Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(1), pp. 93-124, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Kalman functor, residuated lattices, involution |
19 | Mark Hopkins |
The Algebraic Approach II: Dioids, Quantales and Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 173-190, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid |
19 | Pierre-Louis Curien |
The Joy of String Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 15-22, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | José Luiz Fiadeiro, Vincent Schmitt |
Structured Co-spans: An Algebra of Interaction Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 194-208, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Roman S. Dubtsov |
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers, pp. 443-450, 2006, Springer, 978-3-540-70880-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Dusko Pavlovic, Michael W. Mislove, James Worrell 0001 |
Testing Semantics: Connecting Processes and Process Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, pp. 308-322, 2006, Springer, 3-540-35633-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes |
Approximation Problems Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers, pp. 9-14, 2005, Springer, 3-540-29002-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Piero Pagliani |
Information quanta and approximation spaces II: generalised approximation spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 611-616, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Constantine Tsinakis, Han Zhang |
Order Algebras as Models of Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(2), pp. 201-225, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
net semantics, partially ordered monoids, Petri nets, linear logic, quantales |
19 | Petros Maragos, Vassilis Tzouvaras, Giorgos B. Stamou |
Lattice Fuzzy Signal Operators and Generalized Image Gradients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 420-427, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | John G. Stell |
A Framework for Order-Sorted Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 396-410, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Petros Maragos, Vassilis Tzouvaras, Giorgos B. Stamou |
Synthesis and applications of lattice image operators based on fuzzy norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings of the 2001 International Conference on Image Processing, ICIP 2001, Thessaloniki, Greece, October 7-10, 2001, pp. 521-524, 2001, IEEE, 0-7803-6725-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Maria Emilia Maietti, Valeria de Paiva, Eike Ritter |
Categorical Models for Intuitionistic and Linear Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 223-237, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Marcel Erné |
Z-Continuous Posets and Their Topological Manifestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(1-2), pp. 31-70, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
closure space, completely distributive, continuous poset, sober space, completion, compact, core |
19 | Torben Braüner |
A Model of Intuitionistic Affine Logic From Stable Domain Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 340-351, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | José Meseguer 0001, Ugo Montanari, Vladimiro Sassone |
On the Semantics of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 286-301, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Dexter Kozen |
On Kleene Algebras and Closed Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 26-47, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|