|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1388 occurrences of 712 keywords
|
|
|
Results
Found 5947 publication records. Showing 5947 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Ludmila Cherkasova |
On Models and Algebras for Concurrent Processes. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner |
Equational Completion in Order-Sorted Algebras (Extended Abstract). |
CAAP |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Gregor Snelting, Wolfgang Henhapl |
Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis. |
POPL |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Peter Dybjer |
Using Domain Algebras to Prove the Correctness of a Compiler. |
STACS |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Patrick A. V. Hall |
Relational Algebras, Logic, and Functional Programming. |
SIGMOD Conference |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Jan A. Bergstra, Jan Willem Klop |
Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Katarína Cunderlíková |
The individual ergodic theorem on the IF-events with product. |
Soft Comput. |
2010 |
DBLP DOI BibTeX RDF |
The IF-event, The IF-probability, The IF-observable, The product, The upper and lower limits, The individual ergodic theorem, The almost everywhere convergence, The -preserving transformation |
14 | Vummintala Shashidhar, B. Sundar Rajan, P. Vijay Kumar |
Asymptotic-Information-Lossless Designs and the Diversity-Multiplexing Tradeoff. |
IEEE Trans. Inf. Theory |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Sylvia Pulmannová |
MV-pairs and states. |
Soft Comput. |
2009 |
DBLP DOI BibTeX RDF |
R-generated Boolean algebra, MV-pair, MV-algebra, State, Effect algebra |
14 | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
Qualitative Possibilities and Necessities. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Lavinia Corina Ciungu |
On the Convergence with Fixed Regulator in Residuated Structures. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jürg Kohlas, Christian Eichenberger |
Uncertain Information. |
Formal Theories of Information |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París |
The Foldl Operator as a Coequalizer Using Coq. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann |
Local Termination. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Guram Bezhanishvili, Jacob Vosmaer |
Comparison of MacNeille, Canonical, and Profinite Completions. |
Order |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06B23, 06D20, 06D50 |
14 | Anthony M. Bloch, Peter E. Crouch, Jerrold E. Marsden, Amit K. Sanyal |
Optimal Control and Geodesics on Quadratic Matrix Lie Groups. |
Found. Comput. Math. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 34H05, 70E40, 49K15 |
14 | Stephen Gilmore, Jane Hillston |
Foreword. |
SIGMETRICS Perform. Evaluation Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Spinks, Robert Veroff |
Constructive Logic with Strong Negation is a Substructural Logic. II. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic |
14 | Antoni Torrens |
An Approach to Glivenko's Theorem in Algebraizable Logics. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Glivenko’s Theorem, equivalential deductive system, compatible expansion, algebraic semantics, quasivariety, algebraizable logic |
14 | Matthew Spinks, Robert Veroff |
Constructive Logic with Strong Negation is a Substructural Logic. I. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Nelson algebra, FL ew -algebra, residuated lattice, substructural logic, strong negation, Constructive logic |
14 | Esfandiar Eslami, Hamid Khosravi, Faramarz Sadeghi |
Very and more or less in non-commutative fuzzy logic. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
L-fuzzy modifier, Very, More or less, Non-commutative fuzzy logic, Pseudo-BL algebra, Linguistic hedges |
14 | Sylvia Pulmannová, Elena Vinceková |
Ideals in MV-pairs. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Xiangnan Zhou, Qingguo Li |
Partial residuated structures and quantum structures. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Partial residuated lattice, Partial adjoint pair, Residuated mapping, Residuated lattice, Effect algebra |
14 | Natalia López, Manuel Núñez 0001, Fernando L. Pelayo |
A Comparative Study of STOPA and RTPA. |
Trans. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Hector Freytes |
Pavelka-style completeness in expansions of Lukasiewicz logic. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematical Subject Classification (2000) 03B50, 03B52, 06D35 |
14 | Steven Awodey, Andrej Bauer |
Sheaf toposes for realizability. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03G30, 03D65 |
14 | Peter Höfner |
Automated Reasoning for Hybrid Systems - Two Case Studies -. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jules Desharnais, Georg Struth |
Domain Axioms for a Family of Near-Semirings. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer |
Proving Infinitary Normalization. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sreekanth Malladi, Gurdeep S. Hura 0001 |
What is the best way to prove a cryptographic protocol correct? |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Peter Höfner, Georg Struth |
On Automating the Calculus of Relations. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ivo Düntsch, Michael Winter 0001 |
Moving Spaces. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Zurab Janelidze |
Closedness Properties of Internal Relations III: Pointed Protomodular Categories. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18C99, 08B05 |
14 | Ivo Düntsch, Dimiter Vakarelov |
Region-based theory of discrete spaces: A proximity approach. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03G05, 06E25, 68T30 |
14 | Jerzy Tomasik, Jerzy Weyman |
Category localization semantics for specification refinements. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85 |
14 | Qing Liu 0011, Hui Sun |
The Impact of Rough Set Research in China: In Commemoration of Professor Zdzislaw Pawlak. |
Trans. Rough Sets |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Anatolij Dvurecenskij |
Every Linear Pseudo BL-Algebra Admits a State. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
AMS Classification 06D35, 03G12, 03B50 |
14 | Ralph G. Selfridge |
A small part of lattice theory. |
ACM SIGAPL APL Quote Quad |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang |
Local Action and Abstract Separation Logic. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Frank Puhlmann |
Soundness Verification of Business Processes Specified in the Pi-Calculus. |
OTM Conferences (1) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Michel A. Reniers, Muck van Weerdenburg |
Action Abstraction in Timed Process Algebra. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Peter Höfner, Georg Struth |
Automated Reasoning in Kleene Algebra. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni |
Deducing Interactions in Partially Unspecified Biological Systems. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Agata Ciabattoni, George Metcalfe |
Density Elimination and Rational Completeness for First-Order Logics. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Zohar Manna, Henny B. Sipma, Ting Zhang 0001 |
Verifying Balanced Trees. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Glausch, Wolfgang Reisig |
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Anton Wijs |
Achieving Discrete Relative Timing with Untimed Process Algebra. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Larisa Maksimova |
Definability and Interpolation in Non-Classical Logics. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
interpolation, modal logic, intuitionistic logic, definability, non-classical logics, amalgamation |
14 | Vilém Vychodil |
A note on congruence permutability and fuzzy logic. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
Mal'cev-condition, Fuzzy logic, Permutability, Fuzzy equality |
14 | Makoto Hamana |
An initial algebra approach to term rewriting systems with variable binders. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Abstract syntax with variable binding, Term rewriting systems, Higher-order abstract syntax, Initial algebra semantics |
14 | Uwe Wolter |
A (Co)Algebraic Analysis of Synchronization in CSP. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter 0001 |
Topological Representation of Contact Lattices. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Jean-Lou De Carufel, Jules Desharnais |
Demonic Algebra with Domain. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Joanna Golinska-Pilarek, Ewa Orlowska |
Relational Logics and Their Applications. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Kim Solin, Joakim von Wright |
Refinement Algebra with Operators for Enabledness and Termination. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ben Cohen, Martín Hötzel Escardó, Klaus Keimel |
The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Fontijne |
Gaigen 2: a geometric algebra implementation generator. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
conformal model, profiling program transformation, synthesis from specification, object-oriented, geometric algebra |
14 | Ricardo Grau Ábalo, María del Carmen Chávez, Robersy Sanchez, Eberto Morgado, Gladys Casas, Isis Bonet |
Boolean Algebraic Structures of the Genetic Code: Possibilities of Applications. |
KDECB |
2006 |
DBLP DOI BibTeX RDF |
mutant sequence analysis, splice site prediction, Bayesian networks, decision trees, Boolean algebra, Genetic code |
14 | Sergiu Rudeanu, Dan A. Simovici |
On the Ranges of Algebraic Functions in Lattices - A Preliminary Report. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yingxu Wang 0001 |
Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Dumitru Busneag, Dana Piciu |
BL-algebra of fractions and maximal BL-algebra of quotients. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
AMS Subject Classification 2000 06D35, 03G25 |
14 | Rostislav Horcík |
Standard completeness theorem for PiMTL. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
MTL logic, Product logic, Left-continuous t-norm, Cancellative left-continuous t-norm, Fuzzy logic, Many-valued logic |
14 | Bernhard Burgeth, Joachim Weickert |
An Explanation for the Logarithmic Connection between Linear and Morphological System Theory. |
Int. J. Comput. Vis. |
2005 |
DBLP DOI BibTeX RDF |
linear system theory, min-plus algebra, slope transform, Cramer transform, morphology, convex analysis, max-plus algebra |
14 | Hitoshi Furusawa |
A Framework for Kleene Algebra with an Embedded Structure. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Jos C. M. Baeten, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Timing the Untimed: Terminating Successfully While Being Conservative. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Marcello M. Bonsangue, Alexander Kurz 0001 |
Duality for Logics of Transition Systems. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ruggero Lanotte, Simone Tini |
Probabilistic Congruence for Semistochastic Generative Processes. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Michiro Kondo, Mayuka F. Kawaguchi |
Partially Ordered Set with Residuated t-norm. |
ISMVL |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ivan Lanese, Emilio Tuosto |
Synchronized Hyperedge Replacement for Heterogeneous Systems. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Carlos Cid, Sean Murphy, Matthew J. B. Robshaw |
An Algebraic Framework for Cipher Embeddings. |
IMACC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Maria Manuel Clementino, Dirk Hofmann, Walter Tholen |
One Setting for All: Metric, Topology, Uniformity, Approach Structure. |
Appl. Categorical Struct. |
2004 |
DBLP DOI BibTeX RDF |
V-matrix, V-promatrix, (T,V)-algebra, (T,V)-proalgebra, co-Kleisli composition, uniform space, approach space, prometric space, protopological space, proapproach space, topological category, metric space, ordered set, topological space |
14 | Brian A. Davey, Miroslav Haviar |
Applications of Priestley duality in transferring optimal dualities. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Natural duality, optimal duality, Priestley duality, endodualisability, endoprimality, retraction, entailment |
14 | Miklós Maróti, Ralph McKenzie |
Finite basis problems and results for quasivarieties. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
finite axiomatizability, pseudo-complemented congruence lattices, Willard terms, quasivarieties |
14 | Richard Holzer |
On subdirectly irreducible OMAs. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
orthomodular partial algebra, epi-subdirect representation |
14 | Tomasz Kowalski |
Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
FL ew-algebra, semisimple, EDPC, discriminator, residuated lattice |
14 | Andrea Ferrara |
Web services: a process algebra approach. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
web services, formal methods, process algebra, BPEL4WS |
14 | Bernhard Möller |
Lazy Kleene Algebra. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | C. A. R. Hoare |
Process Algebra: A Unifying Approach. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Gwen Salaün, Lucas Bordeaux, Marco Schaerf |
Describing and Reasoning on Web Services using Process Algebra. |
ICWS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas |
Translating Erlang to µCRL. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Anton Leykin |
On Parallel Computation of Gröbner Bases. |
ICPP Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ning Zhang 0002 |
XML Query Processing and Optimization. |
EDBT Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
14 | S. H. Schmieta, Farid Alizadeh |
Extension of primal-dual interior point algorithms to symmetric cones. |
Math. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Radim Belohlávek |
Birkhoff variety theorem and fuzzy logic. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
Fuzzy logic, Variety, Universal algebra, Fuzzy equality |
14 | Wolfram Kahl |
Calculational Relation-Algebraic Proofs in Isabelle/Isar. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Wojciech Buszkowski |
Relational Models of Lambek Logics. |
Theory and Applications of Relational Structures as Knowledge Instruments |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Makoto Hamana |
Term rewriting with variable binding: an initial algebra approach. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
abstract syntax with variable binding, monadic semantics of term rewriting systems, term rewriting systems, higher-order abstract syntax, initial algebra semantics |
14 | Larisa Maksimova, Andrei Voronkov |
Complexity of Some Problems in Modal and Intuitionistic Calculi. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Sujoe Bose, Leonidas Fegaras, David Levine, Vamsi Chaluvadi |
A Query Algebra for Fragmented XML Stream Data. |
DBPL |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Elizabeth L. Mansfield, Ágnes Szántó |
Elimination theory for differential difference polynomials. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
Gröbner basis, differential polynomial, ore algebra, difference equation |
14 | Yngve Lamo, Michal Walicki |
Combining Specification Formalisms in the ?General Logic? of Multialgebras. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Kathrin Hoffmann, Till Mossakowski |
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001 |
Hybrid applications over XML: integrating the procedural and declarative approaches. |
WIDM |
2002 |
DBLP DOI BibTeX RDF |
XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration |
14 | Dexter Kozen |
Some Results in Dynamic Model Theory. |
MPC |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
Equational Axioms for Probabilistic Bisimilarity. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Anthony J. Roy, John G. Stell |
A Qualitative Account of Discrete Space. |
GIScience |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Richard P. Hopkins, Peter J. B. King |
A Visual Formalism for the Composition of Stochastic Petri Nets. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Elizabeth L. Mansfield |
Algorithms for Symmetric Differential Systems. |
Found. Comput. Math. |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Jan Jakubik |
Basic elements in a pseudo MV-algebra. |
Soft Comput. |
2001 |
DBLP DOI BibTeX RDF |
Basic element, B-atomicity, Direct product decomposition, Strong subdirect product, Pseudo MV-algebra |
14 | Luca Alberucci |
Strictness of the Modal µ-Calculus Hierarchy. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
|
|