The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase (E,M)-functor (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1974-1987 (16) 1988-1992 (15) 1993-1996 (17) 1997-2000 (23) 2001 (20) 2002-2003 (20) 2004-2005 (31) 2006 (23) 2007 (17) 2008 (20) 2009-2010 (18) 2011-2014 (16) 2015-2018 (20) 2019-2024 (10)
Publication types (Num. hits)
article(119) inproceedings(146) phdthesis(1)
Venues (Conferences, Journals, ...)
Appl. Categorical Struct.(65) CoRR(9) CALCO(8) ICALP(8) LICS(8) CSL(7) FoSSaCS(6) POPL(5) Stud Logica(5) ICFP(4) J. Symb. Log.(4) Theor. Comput. Sci.(4) Arch. Math. Log.(3) ESOP(3) ICGT(3) REX Workshop(3) More (+10 of total 119)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 166 occurrences of 128 keywords

Results
Found 266 publication records. Showing 266 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
127George E. Strecker Flows With Respect to a Functor. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF (E,M)-functor, coadjoint functor, wolf, strongly complete, extremally complete, completeness, factorization, flow
87Elsa L. Gunter Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Search on Bibsonomy Mathematical Foundations of Programming Semantics The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
73Francesc Esteva, Lluís Godo Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
69Dali Zangurashvili Some Categorical Algebraic Properties: Counter-Examples for Functor Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF congruence extension properties, functor category, cogenerating set, integral domain, metric space, transferability, field, finite group, amalgamation
62Ignacio D. Viglizzo Final Sequences and Final Coalgebras for Measurable Spaces. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
58José L. Castiglioni, Matías Menni, Marta Sagastume On Some Categories of Involutive Centered Residuated Lattices. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kalman functor, residuated lattices, involution
57Bernhard Banaschewski On the Function Ring Functor in Pointfree Topology. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF completely regular frame, zero-dimensional frame, continuous functions in pointfree topology, left adjoint to the function ring functor, supports on f-rings, archimedean kernels
57Gabriele Castellini, Eraldo Giuli Closure Operators with Respect to a Functor. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF faithful functor, closure operator, factorization structure
48Eugenio Moggi Functor Categories and Two-Level Languages. Search on Bibsonomy FoSSaCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Annie Foret Pregroup Calculus as a Logic Functor. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lambek Categorial Grammars, Logic Functor, Cut Elimination, Pregroups
42Jirí Adámek, Horst Herrlich, Jirí Rosický, Walter Tholen Weak Factorization Systems and Topological Functors. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF weak factorization systems, full functor, topological functor, cofibrantly generated, poset
37Maria Manuel Clementino, Dirk Hofmann, Isar Stubbe Exponentiable Functors Between Quantaloid-Enriched Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 06F07, 18A22, 18D20, 18D05
37David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Jingjing Ma, R. H. Redfield Lattice-ordered Fields Determined by d -elements. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 06F25, 06F15, 18A40, 15A03
37Andrée C. Ehresmann Localization of Universal Problems. Local Colimits. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF universal problem, colimit, category, poset, Galois theory
37Pierre America, Jan J. M. M. Rutten Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF complete metric spaces, converging towers, contracting functors, Banach's fixed-point theorem, category theory, domain equations
36Bernhard Banaschewski, Ales Pultr Adjointness Aspects of the Down-Set Functor. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF down-set frames, open and similar types of homomorphisms, adjunction, Booleanization
36Dominique Bourn The Structural Nature of the Nerve Functor for n-Groupoids. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF simplicial object, nerve, n-groupoid, fibration
33Libor Barto Weakly Terminal Objects in Quasicategories of SET Endofunctors. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF weakly terminal object, set functor, rigid object
33Gabriele Castellini, Eraldo Giuli U-Closure Operators and Compactness. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF faithful functor, compactness, separation, closure operator, factorization structure
33Keith A. Hardie, Klaus Heiner Kamps, Howard J. Marcum, Nobuyuki Oda Triple Brackets and Lax Morphism Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Toda bracket (matrix, box, triple, quaternary), (lax) morphism category, homotopy category, suspension functor, homotopy groups of spheres, 2-category
33Ralf Kemper p-Banach Spaces and p-Totally Convex Spaces. II. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF p-Banach space, p-normed vector space, p-totally convex space, p-absolutely convex space, comparison functor, congruence relation, Eilenberg-Moore category, monad
33Jan J. M. M. Rutten, Daniele Turi On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation
25Gábor Czédli Sums of Lattices and a Relational Category. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06B05
25Venanzio Capretta, Tarmo Uustalu, Varmo Vene Corecursive Algebras: A Study of General Structured Corecursion. Search on Bibsonomy SBMF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Conor McBride Clowns to the left of me, jokers to the right (pearl): dissecting data structures. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF polynomial, generic programming, iteration, division, stack, differentiation, traversal, datatype, tail recursion, zipper, dissection
25Anthony W. Hager, D. G. Johnson Adjoining an Identity to a Reduced Archimedean f -ring, II: Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 06F20, 13B10, Secondary 18A40, 54H10, 46A40, 54C30, 06F25
25Ichiro Hasuo, Bart Jacobs 0001, Tarmo Uustalu Categorical Views on Computations on Trees (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Hideo Mori Functorial Properties of Formal Concept Analysis. Search on Bibsonomy ICCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Marcello M. Bonsangue, Alexander Kurz 0001 Presenting Functors by Operations and Equations. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Freiric Barral, Sergei Soloviev 0001 Inductive Type Schemas as Functors. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Pierre P. Lévy Pixelization Paradigm: Outline of a Formal Approach. Search on Bibsonomy VIEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Stephen L. Bloom, Zoltán Ésik Completing Categorical Algebras. Search on Bibsonomy IFIP TCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Paul-André Melliès Functorial Boxes in String Diagrams. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Paolo Baldan, Andrea Corradini 0001, Luciana Foss, Fabio Gadducci Graph Transactions as Processes. Search on Bibsonomy ICGT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Glynn Winskel Name Generation and Linearity. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Lutz Schröder Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Marcello M. Bonsangue, Alexander Kurz 0001 Duality for Logics of Transition Systems. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25H. Peter Gumm From T-Coalgebras to Filter Structures and Transition Systems. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Gabriel Ciobanu, Viorel Mihai Gontineac Algebraic and Coalgebraic Aspects of Membrane Computing. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Pilar Carrasco, Juan Martínez-Moreno Simplicial Cohomology with Coefficients in Symmetric Categorical Groups. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF categorical groups, simplicial set, nerve, homotopy classes, cohomology
25Gérard P. Huet Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Neil Ghani, Tarmo Uustalu Explicit substitutions and higher-order syntax. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF algebras, monads, abstract syntax, explicit substitutions, variable binding
25M. V. Mielke Final Lift Actions Associated with Topological Functors. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF topological category, final lift actions
25Paolo Baldan, Roberto Bruni, Ugo Montanari Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. Search on Bibsonomy WADT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Dirk Pattinson Semantical Principles in the Modal Logic of Coalgebras. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Dikran Dikranjan, Hans-Peter A. Künzi Separation and Epimorphisms in Quasi-Uniform Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF quasi-uniform space, uniform space, (regular, semiregular) closure operator, sequential closure, S()-space, separated space, epimorphism, closure
25Jens Blanck Effectivity of Regular Spaces. Search on Bibsonomy CCA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Dusko Pavlovic Semantics of First Order Parametric Specifications. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25L. J. Steggles Parameterised Higher-Order Algebraic Specifications. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Fabio Alessi, Paolo Baldan, Furio Honsell Partializing Stone Spaces using SFP Domains (Extended Abstract). Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Luca Bernardinello, Lucia Pomello A Category of Transition Systems and Its Relations with Orthomodular Posets. Search on Bibsonomy MFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Torben Braüner A Model of Intuitionistic Affine Logic From Stable Domain Theory. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Hubert Baumeister Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
25James A. Altucher, Prakash Panangaden A Mechanically Assisted Constructive Proof in Category Theory. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25William P. Coleman, David P. Sanford, Andrea De Gaetano, Fred Geisler Logical Structure of Neurobiological Information Processing. Search on Bibsonomy Great Lakes Computer Science Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
25Robert Harper 0001, Robin Milner, Mads Tofte A Type Discipline for Program Modules. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
24Tyler Hanks, Matthew Klawonn, James P. Fairbanks Generalized Gradient Descent is a Hypergraph Functor. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Guram Bezhanishvili, Luca Carai, Patrick J. Morandi The Vietoris functor and modal operators on rings of continuous functions. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Niccolò Veltri Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor. Search on Bibsonomy FSCD The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Guram Bezhanishvili, Luca Carai, Patrick J. Morandi Coalgebras for the powerset functor and Thomason duality. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Manohar Kaul, Dai Tamaki A Weighted Quiver Kernel using Functor Homology. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Piotr Tauzowski, Bartlomiej Blachowski, János Lógó Functor-oriented topology optimization of elasto-plastic structures. Search on Bibsonomy Adv. Eng. Softw. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott Programming Unikernels in the Large via Functor Driven Development. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
24Brendan Fong, David I. Spivak, Rémy Tuyéras Backprop as Functor: A compositional perspective on supervised learning. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs. Search on Bibsonomy ICGT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Russell G. Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh A Computable Functor from graphs to Fields. Search on Bibsonomy J. Symb. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Oghenetega Ighedo More on the Functor Induced by z-Ideals. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Olivier De Deken, Wendy Lowen Filtered cA∞-Categories and Functor Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Jan Grebík An Example of a Fraïssé Class Without a Katětov Functor. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Khadijeh Keshvardoost, Mojgan Mahmoudi Free functor from the category of G-nominal sets to that of 01-G-nominal sets. Search on Bibsonomy Soft Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Ramon Jansana, Hernán Javier San Martín On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices. Search on Bibsonomy Log. J. IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. Search on Bibsonomy CMCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Vaia Patta Aspects of categorical physics: a category for modelling dependence relations and a generalised entropy functor. Search on Bibsonomy 2018   RDF
24Rafael Fernández-Casado, Xabier García-Martínez, Manuel Ladra A Natural Extension of the Universal Enveloping Algebra Functor to Crossed Modules of Leibniz Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Brendan Fong, David I. Spivak, Rémy Tuyéras Backprop as Functor: A compositional perspective on supervised learning. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
24Javad Asadollahi, Rasool Hafezi, Razieh Vahed On the Recollements of Functor Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias On a paraconsistentization functor in the category of consequence structures. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Sandrine Blazy, Vincent Laporte, David Pichardie An abstract memory functor for verified C static analyzers. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001 Towards Trace Metrics via Functor Lifting. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
24Edward S. Letzter Continuity is an Adjoint Functor. Search on Bibsonomy Am. Math. Mon. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Wee Liang Gan, Liping Li Coinduction functor in representation stability theory. Search on Bibsonomy J. Lond. Math. Soc. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Junjie Chen, Patrick Cousot A Binary Decision Tree Abstract Domain Functor. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Caterina Urban FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001 Towards Trace Metrics via Functor Lifting. Search on Bibsonomy CALCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Mohamed Barakat, Markus Lange-Hegermann Characterizing Serre Quotients with no Section Functor and Applications to Coherent Sheaves. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Roberto Martínez-Villa, Martin Ortiz-Morales Tilting Theory and Functor Categories I. Classical Tilting. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001 Behavioral Metrics via Functor Lifting. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
24Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001 Behavioral Metrics via Functor Lifting. Search on Bibsonomy FSTTCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Roberto Martínez-Villa, Martin Ortiz-Morales Tilting Theory and Functor Categories II. Generalized Tilting. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Andrey Mudrov On Dynamical Adjoint Functor. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Dion Coumans, Samuel J. van Gool On generalizing free algebras for a functor. Search on Bibsonomy J. Log. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Chris Heunen On the Functor ℓ2. Search on Bibsonomy Computation, Logic, Games, and Quantum Foundations The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Mehdi Bouaziz TreeKs: A Functor to Make Numerical Abstract Domains Scalable. Search on Bibsonomy NSAD@SAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Noriyuki Abe, Hiroyuki Nakaoka General Heart Construction on a Triangulated Category (II): Associated Homological Functor. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Dmitrij P. Skvortsov A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
24Piotr Niemiec Functor of Extension of Contractions on Urysohn Universal Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Russell O'Connor Functor is to Lens as Applicative is to Biplate: Introducing Multiplate Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 266 (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