Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Peter Sestoft	Demonstrating Lambda Calculus Reduction.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
17	Luigi Santocanale	A Calculus of Circular Proofs and Its Categorical Semantics.	FoSSaCS	2002	DBLP DOI BibTeX RDF
17	Peter Thiemann 0001	A Prototype Dependency Calculus.	ESOP	2002	DBLP DOI BibTeX RDF
17	Roger Villemaire	An Approximation Semantics for the Propositional Mu-Calculus.	MFCS	2002	DBLP DOI BibTeX RDF
17	Atsushi Ohori, Kiyoshi Yamatodani	An interoperable calculus for external object access.	ICFP	2002	DBLP DOI BibTeX RDF	record polymorphism, Java, interoperability, ML, type inference, object-oriented language
17	Reinhold Letz, Gernot Stenz	Integration of Equality Reasoning into the Disconnection Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
17	Calogero G. Zarba	A Tableau Calculus for Combining Non-disjoint Theories.	TABLEAUX	2002	DBLP DOI BibTeX RDF
17	Maria Grazia Buscemi, Ugo Montanari	A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence.	CONCUR	2002	DBLP DOI BibTeX RDF
17	Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone	A Calculus of Mobile Resources.	CONCUR	2002	DBLP DOI BibTeX RDF
17	Germain Faure, Claude Kirchner	Exceptions in the Rewriting Calculus.	RTA	2002	DBLP DOI BibTeX RDF
17	Jens Palsberg, Di Ma	A Typed Interrupt Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF
17	Damian Niwinski	µ-Calculus via Games.	CSL	2002	DBLP DOI BibTeX RDF
17	Ralf Küsters, Thomas Wilke	Deciding the First Level of the µ-Calculus Alternation Hierarchy.	FSTTCS	2002	DBLP DOI BibTeX RDF
17	Giuseppe Castagna, Francesco Zappa Nardelli	The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.	FSTTCS	2002	DBLP DOI BibTeX RDF
17	Jorge A. Baier	On Procedure Recognition in the Situation Calculus.	SCCC	2002	DBLP DOI BibTeX RDF
17	Ian J. Hayes, Mark Utting	A sequential real-time refinement calculus.	Acta Informatica	2001	DBLP DOI BibTeX RDF
17	Birgit Elbl	Cut elimination for a calculus with context-dependent rules.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55
17	Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler	Featherweight Java: a minimal core calculus for Java and GJ.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	generic classes, Java, Compilation, language design, language semantics
17	C. R. Ramakrishnan 0001	A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.	PADL	2001	DBLP DOI BibTeX RDF
17	Jesse Alt, Sergei N. Artëmov	Reflective lambda-Calculus.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF
17	Júlia Zappe	Modal µ-Calculus and Alternating Tree Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
17	Olga Marroquín Alonso, David de Frutos-Escrig	Extending the Petri Box Calculus with Time.	ICATPN	2001	DBLP DOI BibTeX RDF
17	Pietro Di Gianantonio	Game Semantics for the Pure Lazy lambda-calculus.	TLCA	2001	DBLP DOI BibTeX RDF
17	Andrzej Filinski	Normalization by Evaluation for the Computational Lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
17	Christine Röckl, Daniel Hirschkoff, Stefan Berghofer	Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.	FoSSaCS	2001	DBLP DOI BibTeX RDF
17	John C. Mitchell	Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
17	Nicola Olivetti, Camilla Schwind	A Calculus and Complexity Bound for Minimal Conditional Logic.	ICTCS	2001	DBLP DOI BibTeX RDF
17	Reinhold Letz, Gernot Stenz	DCTP - A Disconnection Calculus Theorem Prover - System Abstract.	IJCAR	2001	DBLP DOI BibTeX RDF
17	Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa	A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation.	TACS	2001	DBLP DOI BibTeX RDF
17	Guozhu Dong, Jianwen Su	Incremental Maintenance of Recursive Views Using Relational Calculus/SQL.	SIGMOD Rec.	2000	DBLP DOI BibTeX RDF	SQL
17	Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott	A Control-Flow Analysis for a Calculus of Concurrent Objects.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	prototype-based, Concurrency, object-oriented, soundness, control-flow analysis
17	Nihan Kesim Cicekli, Yakup Yildirim	Formalizing Workflows Using the Event Calculus.	DEXA	2000	DBLP DOI BibTeX RDF
17	Matthew Hennessy, James Riely	Information Flow vs. Resource Access in the Asynchronous Pi-Calculus.	ICALP	2000	DBLP DOI BibTeX RDF
17	Gilles Barthe, Femke van Raamsdonk	Constructor Subtyping in the Calculus of Inductive Constructions.	FoSSaCS	2000	DBLP DOI BibTeX RDF
17	Ugo Montanari, Marco Pistore	pi-Calculus, Structured Coalgebras, and Minimal HD-Automata.	MFCS	2000	DBLP DOI BibTeX RDF
17	Iliano Cervesato, Angelo Montanari	A Calculus of Macro-Events: Progress Report.	TIME	2000	DBLP DOI BibTeX RDF	Processes, Temporal Reasoning
17	Chunping Li	Representing the Process Semantics in the Event Calculus.	JELIA	2000	DBLP DOI BibTeX RDF
17	Monica Nesi	Formalising a Value-Passing Calculus in HOL.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Meta-theoretic reasoning, Formal verification, Theorem proving, Higher order logic, Process calculi
17	Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler	Featherwieght Java: A Minimal Core Calculus for Java and GJ.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java, implementation, language design, theoretical foundations
17	Ken-etsu Fujita	Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value.	TLCA	1999	DBLP DOI BibTeX RDF
17	Dang Van Hung, Dimitar P. Guelev	Completeness and Decidability of a Fragment of Duration Calculus with Iteration.	ASIAN	1999	DBLP DOI BibTeX RDF
17	Rolf Nossum, Michael Thielscher	Counterfactual Reasoning by Means of a Calculus of Narrative Context.	CONTEXT	1999	DBLP DOI BibTeX RDF
17	Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada	The Calculus of algebraic Constructions.	RTA	1999	DBLP DOI BibTeX RDF
17	Ralph-Johan Back, Michael J. Butler	Fusion and Simultaneous Execution in the Refinement Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
17	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the \pi-Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
17	Wil Dekkers, Martin W. Bunder, Henk Barendregt	Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification:03B40
17	Jaime Ramos, Amílcar Sernadas	The Situation and State Calculus versus Branching Temporal Logic.	WADT	1998	DBLP DOI BibTeX RDF
17	Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann	Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.	Types in Compilation	1998	DBLP DOI BibTeX RDF
17	Pietro Di Gianantonio, Furio Honsell, Luigi Liquori	A Lambda Calculus of Objects with Self-Inflicted Extension.	OOPSLA	1998	DBLP DOI BibTeX RDF
17	Zhou Chaochen	Duration Calculus, a Logical Approach to Real-Time Systems.	AMAST	1998	DBLP DOI BibTeX RDF
17	Zhoujun Li, Huowang Chen	Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
17	Peter Sewell	Global/Local Subtyping and Capability Inference for a Distributed pi-calculus.	ICALP	1998	DBLP DOI BibTeX RDF
17	Huimin Lin	Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
17	Bernhard Beckert, Ulrike Hartmer	A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.	TABLEAUX	1998	DBLP DOI BibTeX RDF
17	Christof Monz, Maarten de Rijke	A Tableaux Calculus for Ambiguous Quantification.	TABLEAUX	1998	DBLP DOI BibTeX RDF
17	Richard B. Scherl, Michael Bieber, Fabio Vitali	A Situation Calculus Model of Hypertext.	HICSS (5)	1998	DBLP DOI BibTeX RDF
17	Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson	Control Flow Analysis for the pi-calculus.	CONCUR	1998	DBLP DOI BibTeX RDF
17	Gerardo Schneider, Qiwen Xu	Towards a Formal Semantics of Verilog Using Duration Calculus.	FTRTFT	1998	DBLP DOI BibTeX RDF
17	Paritosh K. Pandya, Dang Van Hung	Duration Calculus of Weakly Monotonic Time.	FTRTFT	1998	DBLP DOI BibTeX RDF
17	Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya	Some Decidability Results for Duration Calculus under Synchronous Interpretation.	FTRTFT	1998	DBLP DOI BibTeX RDF
17	Simeon Veloudis, Nimal Nissanke	Duration Calculus in the Specification of Safety Requirements.	FTRTFT	1998	DBLP DOI BibTeX RDF
17	Armin Biere	µcke - Efficient µ-Calculus Model Checking.	CAV	1997	DBLP DOI BibTeX RDF
17	Peter Habermehl	On the Complexity of the Linear-Time mu -calculus for Petri-Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
17	Jennifer M. Davoren	On Hybrid Systems and the Modal µ-calculus.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
17	Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa	An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus.	Euro-Par	1997	DBLP DOI BibTeX RDF
17	Olivier Roussel, Philippe Mathieu	Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.	CADE	1997	DBLP DOI BibTeX RDF
17	Torsten Grust, Joachim Kröger, Dieter Gluche, Andreas Heuer 0001, Marc H. Scholl	Query Evaluation in CROQUE - Calculus and Algebra Coincide.	BNCOD	1997	DBLP DOI BibTeX RDF
17	Y. S. Ramakrishna, Scott A. Smolka	Partial-Order Reduction in the Weak Modal Mu-Calculus.	CONCUR	1997	DBLP DOI BibTeX RDF
17	Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy	Implicit Typing à la ML for the Join-Calculus.	CONCUR	1997	DBLP DOI BibTeX RDF
17	Piero A. Bonatti, Nicola Olivetti	A Sequent Calculus for Circumscription.	CSL	1997	DBLP DOI BibTeX RDF
17	Giacomo Lenzi	A Hierarchy Theorem for the µ-Calculus.	ICALP	1996	DBLP DOI BibTeX RDF
17	Viviana Bono, Michele Bugliesi, Luigi Liquori	A Lambda Calculus of Incomplete Objects.	MFCS	1996	DBLP DOI BibTeX RDF
17	Jerzy Tiuryn	A Sequent Calculus for Subtyping Polymorphic Types.	MFCS	1996	DBLP DOI BibTeX RDF
17	Julian C. Bradfield	On the Expressivity of the Modal Mu-Calculus.	STACS	1996	DBLP DOI BibTeX RDF	verification, temporal logic, descriptive complexity, logic in computer science
17	Martin Emms	Models for Polymorphic Lambek Calculus.	LACL	1996	DBLP DOI BibTeX RDF
17	Jerzy Tiuryn, Mitchell Wand	Untyped Lambda-Calculus with Input-Output.	CAAP	1996	DBLP DOI BibTeX RDF
17	Antoine Rauzy	Toupie = µ-Calculus + Constraints.	CAV	1995	DBLP DOI BibTeX RDF
17	Martín Abadi, Luca Cardelli	An Imperative Object Calculus.	TAPSOFT	1995	DBLP DOI BibTeX RDF
17	Philip Feinsilver, René Schott	An Operator Calculus Approach to the Evolution of Dynamic Data Structures.	MFCS	1995	DBLP DOI BibTeX RDF
17	David Janin, Igor Walukiewicz	Automata for the Modal mu-Calculus and related Results.	MFCS	1995	DBLP DOI BibTeX RDF
17	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the Pi-Calculus.	STACS	1995	DBLP DOI BibTeX RDF
17	Nadia Busi, Roberto Gorrieri	A Petri Net Semantics for pi-Calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
17	Ugo Montanari, Marco Pistore	Checking Bisimilarity for Finitary pi-Calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
17	Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia	The Weak Late pi-Calculus Semantics as Observation Equivalence.	CONCUR	1995	DBLP DOI BibTeX RDF
17	Roberto Di Cosmo, Delia Kesner	Rewriting with Extensional Polymorphic Lambda-Calculus.	CSL	1995	DBLP DOI BibTeX RDF
17	Jacques Garrigue	The Transformation Calculus.	FSTTCS	1995	DBLP DOI BibTeX RDF
17	Philippe de Groote	On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control.	LPAR	1994	DBLP DOI BibTeX RDF
17	I. S. W. B. Prasetya	Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.	TPHOLs	1994	DBLP DOI BibTeX RDF
17	Lars-Henrik Eriksson	Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.	CADE	1994	DBLP DOI BibTeX RDF
17	Michele Boreale, Rocco De Nicola	A Symbolic Semantics for the pi-calculus (Extended Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
17	Jens U. Skakkebæk	Liveness and Fairness in Duration Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF
17	Xinxin Liu	Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
17	Viviana Bono, Luigi Liquori	A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.	CSL	1994	DBLP DOI BibTeX RDF
17	Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem	A Calculus of Random Generation.	ESA	1993	DBLP DOI BibTeX RDF
17	Aaron Watters	Interpreting a Reconstructed Relational Calculus (Extended Abstract).	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
17	Roberto M. Amadio	On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation.	CONCUR	1993	DBLP DOI BibTeX RDF
17	Andrea Asperti, Cosimo Laneve	Paths, Computations and Labels in the Lambda-Calculus.	RTA	1993	DBLP DOI BibTeX RDF
17	Peter Baumgartner 0001	An Order Theory Resolution Calculus.	LPAR	1992	DBLP DOI BibTeX RDF	Theory Resolution, Automated Theorem Proving
17	C.-H. Luke Ong	Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
17	Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen	SPCF: Its Model, Calculus, and Computational Power (Preliminary Version).	REX Workshop	1992	DBLP DOI BibTeX RDF