The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1972-1995 (16) 1996-2001 (17) 2002-2004 (16) 2005-2007 (18) 2008-2012 (15) 2013-2021 (15) 2022-2024 (8)
Publication types (Num. hits)
article(50) inproceedings(55)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 98 occurrences of 74 keywords

Results
Found 105 publication records. Showing 105 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
89Lutz Schröder Monads on Composition Graphs. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF composition graph, Kleisli category, algebra, monad, adjunction
81V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles Tree Adjoining Grammars in Noncommutative Linear Logic. Search on Bibsonomy LACL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
66Tingquan Deng, Yanmei Chen, Guanghong Gao Algebraic Properties of Adjunction-Based Fuzzy Rough Sets. Search on Bibsonomy RSFDGrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF necessity measure, probability measure, Fuzzy logic, fuzzy relation, fuzzy rough sets, adjunction
64Miguel A. Alonso 0001, Vicente Carrillo, Víctor J. Díaz Mixed Parsing of Tree Insertion and Tree Adjoining Grammars. Search on Bibsonomy IBERAMIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
59Tosiyasu L. Kunii Web Information Modeling: The Adjunction Space Model. Search on Bibsonomy DNIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Roberto Giacobazzi, Isabella Mastroeni Adjoining Declassification and Attack Models by Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
42Roman S. Dubtsov Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Isabelle Bloch Duality vs Adjunction and General Form for Fuzzy Mathematical Morphology. Search on Bibsonomy WILF The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Jos B. T. M. Roerdink Multiresolution maximum intensity volume rendering by morphological adjunction pyramids. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Tosiyasu L. Kunii, Kenji Ohmori Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy. Search on Bibsonomy Vis. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Incrementally modular abstraction hierarchy, Fiber bundles, Adjunction spaces, Homotopy, Cyberspaces, Cellular spaces, Cyberworlds, Algebraic topology
40Tingquan Deng, Yanmei Chen On Reduction of Morphological Covering Rough Sets. Search on Bibsonomy FSKD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF morphological covering, Rough set, reduction, morphological operators, adjunction
40Tosiyasu L. Kunii Cyber Graphics (Keynote). Search on Bibsonomy CW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF adjunction spaces, cell attaching functions, a hierarchy of invariants, cellular spatial structures
32Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki An organizational file permission management system using the cellular data system. Search on Bibsonomy IDEAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF attaching map, file permission information management, formula expression, cellular model, cyberworlds
32José 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
32Tingquan Deng, Yanmei Chen Generalized Fuzzy Morphological Operators. Search on Bibsonomy FSKD (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Torben 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
32Éric Badouel, Philippe Darondeau Trace Nets. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Trace Automata, Trace Nets, Regions
32Glynn Winskel Petri Nets and Transition Systems (Abstract for an invited talk). Search on Bibsonomy FSTTCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
26Thibaut Benjamin, Ioannis Markakis Duality for weak ω-categories and the suspension and hom adjunction. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
26Harsh Beohar, Sebastian Gurke, Barbara König 0001, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. Search on Bibsonomy STACS The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
26Harsh Beohar, Sebastian Gurke, Barbara König 0001, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Andrei A. Krokhin, Jakub Oprsal, Marcin Wrochna, Stanislav Zivný Topology and Adjunction in Promise Constraint Satisfaction. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Richard Garner The costructure-cosemantics adjunction for comodels for computational effects. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Hankyung Ko, Volodymyr Mazorchuk, Xiaoting Zhang Adjunction in the Absence of Identity. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Ivan Di Liberti General Facts on the Scott Adjunction. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Razvan Diaconescu Non-determinsitic algebraic rewriting as adjunction. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Andrei A. Krokhin, Jakub Oprsal, Marcin Wrochna, Stanislav Zivný Topology and adjunction in promise constraint satisfaction. Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 2020 DBLP  BibTeX  RDF
26Richard Garner The costructure-cosemantics adjunction for comodels for computational effects. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
26Dusko Pavlovic, Dominic J. D. Hughes The nucleus of an adjunction and the Street monad on monads. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
26Andrei A. Krokhin, Jakub Oprsal, Marcin Wrochna, Stanislav Zivný Topology and adjunction in promise constraint satisfaction. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
26Arthur J. Parzygnat Stinespring's construction as an adjunction. Search on Bibsonomy Compositionality The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe Realizability in ordered combinatory algebras with adjunction. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Arthur J. Parzygnat From Observables and States to Hilbert Space and Back: A 2-Categorical Adjunction. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio Factorizing the Top-Loc adjunction through positive topologies. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
26Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni A theory of effects and resources: adjunction models and polarised calculi. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Sophie Arnoult, Khalil Sima'an Factoring Adjunction in Hierarchical Phrase-Based SMT. Search on Bibsonomy DMTW The full citation details ... 2016 DBLP  BibTeX  RDF
26Claire Gardent, Shashi Narayan Multiple Adjunction in Feature-Based Tree-Adjoining Grammar. Search on Bibsonomy Comput. Linguistics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Thomas Graf Models of Adjunction in Minimalist Grammars. Search on Bibsonomy FG The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Sylvain Kahane Predicative Adjunction in a Modular Dependency Grammar. Search on Bibsonomy DepLing The full citation details ... 2013 DBLP  BibTeX  RDF
26Meaghan Fowlie Order and Optionality: Minimalist Grammars with Adjunction. Search on Bibsonomy MOL The full citation details ... 2013 DBLP  BibTeX  RDF
26Choh Man Teng 0001 When adjunction fails. Search on Bibsonomy Synth. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Vincenzo Marra, Luca Spada The Dual Adjunction between MV-algebras and Tychonoff Spaces. Search on Bibsonomy Stud Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Wei Yao 0004 A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Thomas Graf Tree Adjunction as Minimalist Lowering. Search on Bibsonomy TAG The full citation details ... 2012 DBLP  BibTeX  RDF
26Nachiko Uchiyama, Takayuki Kinoshita, Takashi Hojo, Sota Asaga, Junko Suzuki, Yoko Kawawa, Kyoichi Otsuka Usefulness of Adjunction of Digital Breast Tomosynthesis (DBT) to Full-Field Digital Mammography (FFDM) in Evaluation of Pathological Response after Neoadjuvant Chemotherapy (NAC) for Breast Cancer. Search on Bibsonomy Digital Mammography / IWDM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Nachiko Uchiyama, Takayuki Kinoshita, Takashi Hojo, Sota Asaga, Junko Suzuki, Shiho Gomi, Chieko Nagashima, Yoko Kawawa, Kyoichi Otsuka Diagnostic Impact of Adjunction of Digital Breast Tomosynthesis (DBT) to Full Field Digital Mammography (FFDM) and in Comparison with Full Field Digital Mammography (FFDM). Search on Bibsonomy Digital Mammography / IWDM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Marcos Eduardo Valle, Peter Sussner Storage and recall capabilities of fuzzy morphological associative memories with adjunction-based learning. Search on Bibsonomy Neural Networks The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Roman S. Dubtsov Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Gregory M. Kobele, Jens Michaelis Disentangling Notions of Specifier Impenetrability: Late Adjunction, Islands, and Expressive Power. Search on Bibsonomy MOL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Isabelle Bloch Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Dominique Duval, Rachid Echahed, Frédéric Prost Adjunction for Garbage Collection with Application to Graph Rewriting. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Paul Blain Levy Adjunction Models For Call-By-Push-Value With Stacks. Search on Bibsonomy CTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Lutz Schröder, Horst Herrlich Free Adjunction of Morphisms. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF (absolutely) initial morphism, (absolute) monomorphism, section, graph, category
26Dieter Wunderlich Argument Extension by Lexical Adjunction. Search on Bibsonomy J. Semant. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Gary T. Leavens, Don Pigozzi The Behavior-Realization Adjunction and Generalized Homomorphic Relations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Uwe Mönnich Adjunction As Substitution: An Algebraic Formulation of Regular Context-Free and Tree Adjoining Languages Search on Bibsonomy CoRR The full citation details ... 1997 DBLP  BibTeX  RDF
26Beth Ann Hockey, Bangalore Srinivas Feature-Based TAG in place of multi-component adjunction: Computational Implications. Search on Bibsonomy CoRR The full citation details ... 1994 DBLP  BibTeX  RDF
26Larry Wos The Problem of Demodulator Adjunction. Search on Bibsonomy J. Autom. Reason. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
26Susumu Hayashi Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
26David E. Rydeheard Adjunction. Search on Bibsonomy CTCS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
26Aravind K. Joshi, S. Rao Kosaraju, H. M. Yamada String Adjunct Grammars: I. Local and Distributed Adjunction Search on Bibsonomy Inf. Control. The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
24Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki WWW Business Applications Based on the Cellular Model. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF incrementally modular abstraction hierarchy, formula expression, adjunction space, presentation level, topological space, cellular space, cyberworlds
24Mark Hopkins The Algebraic Approach II: Dioids, Quantales and Monads. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
24Kenji Ohmori, Tosiyasu L. Kunii An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology. Search on Bibsonomy CW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF incrementally modular abstraction hierarchy, fiber bundles, adjunction spaces, software development, homotopy, cellular spaces, Cyberworlds
24Manfred Droste, R. M. Shortt From Petri Nets to Automata with Concurrency. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction
24Robert D. Rosebrugh, Richard J. Wood Boundedness and Complete Distributivity. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF bounded suprema, completely distributive, adjunction
24Bernhard 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
24Richard J. Fateman A Review of Macsyma. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Macsyma algebraic manipulation system, knowledge-adjunction, mathematical semantics, user model, software packages, symbol manipulation, mathematics computing, language semantics, input/output, future directions
16Laurence Kirby A hierarchy of hereditarily finite sets. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03E20
16Eric Goubault, Emmanuel Haucourt Components of the Fundamental Category II. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40
16Marcos Eduardo Valle, Peter Sussner Fuzzy Associative Memories from the Perspective of Mathematical Morphology. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Corina Cîrstea, Mehrnoosh Sadrzadeh Coalgebraic Epistemic Update Without Change of Model. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Christophe Van Olmen, Stijn Verwulgen Every Banach Space is Reflexive. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF locally convex approach space, totally convex module, weak*-structure, duality, Banach space
16Robert Goldblatt Maps and Monads for Modal Frames. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
16Gemma Bel Enguix, María Dolores Jiménez-López Membranes as Multi-agent Systems: an Application to Dialogue Modelling. Search on Bibsonomy IFIP PPAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Roberto Bruni, Hernán C. Melgratti, Ugo Montanari Event Structure Semantics for Nominal Calculi. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Abolghasem Karimi Feizabadi, M. Mehdi Ebrahimi Point-Free Version of Kakutani Duality. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Kakutani duality, Riesz space, frame
16George Voutsadakis Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. Search on Bibsonomy Arch. Math. Log. The full citation details ... 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
16Pilar 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
16Constantine Tsinakis, Han Zhang Order Algebras as Models of Linear Logic. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF net semantics, partially ordered monoids, Petri nets, linear logic, quantales
16Hitoshi Furusawa A Free Construction of Kleene Algebras with Tests. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Wu-Neng Zhou On some important properties of containwise regularity and category L-CLOSURE. Search on Bibsonomy SMC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Ulrich Schöpp, Ian Stark A Dependent Type Theory with Names and Binding. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Zièd Choukair Composition and Customization of Multimedia Telecoms Services. Search on Bibsonomy AINA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF virtual Bouquet, behavioral aspects, composition, connectors
16Sylvain Guerraz, Frank Perbet, David Raulo, François Faure, Marie-Paule Cani A Procedural Approach to Animate Interactive Natural Sceneries. Search on Bibsonomy CASA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF animation, levels of detail, natural phenomena, procedural modelling, autonomous character
16Ariane Péladan-Germa Testing Equality in Differential Ring Extensions Defined by PDE's and Limit Conditions. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Jos B. T. M. Roerdink A New Class of Morphological Pyramids for Multiresolution Image Analysis. Search on Bibsonomy Theoretical Foundations of Computer Vision The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Manfred Droste, R. M. Shortt Continuous Petri Nets and Transition Systems. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Roberto Giacobazzi, Elisa Quintarelli Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness
16Renato Keshet, Henk J. A. M. Heijmans Adjunctions in Pyramids and Curve Evolution. Search on Bibsonomy Scale-Space The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Roberto Bruni, José Meseguer 0001, Ugo Montanari, Vladimiro Sassone A Comparison of Petri Net Semantics under the Collective Token Philosophy. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16Florence H. Sheehan, Edward L. Bolson, Roy W. Martin, Gerard Bashein, John McDonald 0005 Quantitative Three Dimensional Echocardiography: Methodology, Validation, and Clinical Applications. Search on Bibsonomy MICCAI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16Slawomir Lasota 0001 Weak Bisimilarity and Open Maps. Search on Bibsonomy SOFSEM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16Henk J. A. M. Heijmans Composing morphological filters. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Roberto Giacobazzi, Francesco Ranzato Refining and Compressing Abstract Domains. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Luca 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
16Franz Baader, Werner Nutt Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Equational unification, Semiadditive categories, Semirings, Equational theories
16Ariane Péladan-Germa Testing Identities of Series Defined by Algebraic Partial Differential Equations. Search on Bibsonomy AAECC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
16Pierre-Jean Erard, Claude Fuhrer, Laurent Iff A synthetic mobile robot. Search on Bibsonomy CA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF mobile robot simulation animation, robot Nomad 200, computer screen, mobile robots, virtual world, ray tracing, computer animation, digital simulation, autonomous agent, radiosity, reactive programming, virtual sensors
Displaying result #1 - #100 of 105 (100 per page; Change: )
Pages: [1][2][>>]
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