Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Roberto Bruni, Cosimo Laneve, Ugo Montanari	Orchestrating Transactions in Join Calculus.	CONCUR	2002	DBLP DOI BibTeX RDF
13	Julien Forest	A Weak Calculus with Explicit Operators for Pattern Matching and Substitution.	RTA	2002	DBLP DOI BibTeX RDF
13	Christos Efstratiou, Adrian Friday, Nigel Davies 0001, Keith Cheverst	Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems.	POLICY	2002	DBLP DOI BibTeX RDF
13	Maribel Fernández, Paula Severi	An Operational Approach to Program Extraction in the Calculus of Constructions.	LOPSTR	2002	DBLP DOI BibTeX RDF
13	Michael Beeson, Freek Wiedijk	The Meaning of Infinity in Calculus and Computer Algebra Systems.	AISC	2002	DBLP DOI BibTeX RDF
13	Jeremy E. Dawson, Rajeev Goré	Machine-Checking the Timed Interval Calculus.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Reasoning about time, theorem proving, automated reasoning
13	Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens	Enriching OCL Using Observational Mu-Calculus.	FASE	2002	DBLP DOI BibTeX RDF
13	Yibei Ling, Jie Mi, Xiaola Lin	A Variational Calculus Approach to Optimal Checkpoint Placement.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Aperiodic checkpointing, periodic checkpointing, system failure rate
13	Mohammad Ardeshir, Wim Ruitenburg	Basic Propositional Calculus II. Interpolation.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Basic logic, Interpolation, Kripke model
13	Jean-Louis Krivine	Typed lambda-calculus in classical Zermelo-Frænkel set theory.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03E40, 03B40, 68N18
13	Ernst-Erich Doberkat, Eugenio G. Omodeo	Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View.	RelMiCS	2001	DBLP DOI BibTeX RDF
13	Birgit Elbl	Modeling Meta-logical Features in a Calculus with Frozen Variables.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	logic programming, control, substructural logic
13	Philipp Rohde	Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
13	David Hemer, Ian J. Hayes, Paul A. Strooper	Refinement Calculus for Logic Programming in Isabelle/HOL.	TPHOLs	2001	DBLP DOI BibTeX RDF
13	Gian-Luigi Ferrari 0002, Emilio Tuosto	A debugging calculus for mobile ambients.	SAC	2001	DBLP DOI BibTeX RDF
13	Thierry Joly	The Finitely Generated Types of the lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
13	C. Barry Jay	Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.	TLCA	2001	DBLP DOI BibTeX RDF
13	Gero Iwan	History-Based Diagnosis Templates in the Framework of the Situation Calculus.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
13	Jerome Vouillon	Combining subsumption and binary methods: an object calculus with views.	POPL	2001	DBLP DOI BibTeX RDF
13	Atsushi Igarashi, Naoki Kobayashi 0001	A generic type system for the Pi-calculus.	POPL	2001	DBLP DOI BibTeX RDF
13	Maria Grazia Buscemi, Vladimiro Sassone	High-Level Petri Nets as Type Theories in the Join Calculus.	FoSSaCS	2001	DBLP DOI BibTeX RDF
13	Sylvain Conchon, François Pottier	JOIN(X): Constraint-Based Type Inference for the Join-Calculus.	ESOP	2001	DBLP DOI BibTeX RDF
13	Valentina A. M. Tamma, Simon Parsons	Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus.	ECSQARU	2001	DBLP DOI BibTeX RDF
13	Ulrike Sattler, Moshe Y. Vardi	The Hybrid µ-Calculus.	IJCAR	2001	DBLP DOI BibTeX RDF
13	Bernhard Beckert, Steffen Schlager	A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities.	IJCAR	2001	DBLP DOI BibTeX RDF
13	Maria Teresa Hortalá-González, Eva Ullán	An Abstract Machine Based System for a Lazy Narrowing Calculus.	FLOPS	2001	DBLP DOI BibTeX RDF
13	Sriram K. Rajamani, Jakob Rehof	A Behavioral Module System for the Pi-Calculus.	SAS	2001	DBLP DOI BibTeX RDF
13	Andrei Serjantov, Peter Sewell, Keith Wansbrough	The UDP Calculus: Rigorous Semantics for Real Networking.	TACS	2001	DBLP DOI BibTeX RDF
13	Kazunori Iwata 0001, Shingo Itabashi, Naohiro Ishii	A Protocol for Multi-Threaded Processes with Choice in pi-Calculus.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
13	Benedikt Bollig, Martin Leucker, Michael Weber 0002	Parallel Model Checking for the Alternation Free µ-Calculus.	TACAS	2001	DBLP DOI BibTeX RDF
13	Sergio Brandano	The Event Calculus Assessed.	TIME	2001	DBLP DOI BibTeX RDF
13	Catuscia Palamidessi, Frank D. Valencia	A Temporal Concurrent Constraint Programming Calculus.	CP	2001	DBLP DOI BibTeX RDF
13	Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli	Typing Mobility in the Seal Calculus.	CONCUR	2001	DBLP DOI BibTeX RDF
13	Samson Abramsky, Marina Lenisa	Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus.	CSL	2001	DBLP DOI BibTeX RDF
13	Antonio Chella, Marcello Frixione, Salvatore Gaglio	Symbolic and Conceptual Representation of Dynamic Scenes: Interpreting Situation Calculus on Conceptual Spaces.	AI*IA	2001	DBLP DOI BibTeX RDF
13	André Windisch, Dieter Monjau	An operational framework for the multi-lingual system simulation based on pi-calculus.	SCCC	2001	DBLP DOI BibTeX RDF
13	Tony Clark 0001, Andy Evans, Stuart Kent 0001	The Metamodelling Language Calculus: Foundation Semantics for UML.	FASE	2001	DBLP DOI BibTeX RDF
13	Bernhard Reus, Martin Wirsing, Rolf Hennicker	A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.	FASE	2001	DBLP DOI BibTeX RDF
13	Dieter Spreen	A New Model Construction for the Polymorphic Lambda Calculus.	LPAR	2000	DBLP DOI BibTeX RDF
13	Tijani Chahed, Gérard Hébuterne, Caroline Fayet	Mapping of Loss and Delay Between IP and ATM Using Network Calculus.	NETWORKING	2000	DBLP DOI BibTeX RDF
13	Yoshinobu Kawabe, Ken Mano, Kiyoshi Kogure	The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming.	FAABS	2000	DBLP DOI BibTeX RDF
13	Frédéric Prost	A Static Calculus of Dependencies for the lambda-Cube.	LICS	2000	DBLP DOI BibTeX RDF
13	Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi	Homogenization and the Polynominal Calculus.	ICALP	2000	DBLP DOI BibTeX RDF
13	Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki	Constructive Data Refinement in Typed Lambda Calculus.	FoSSaCS	2000	DBLP DOI BibTeX RDF
13	Kathleen Fisher, John H. Reppy, Jon G. Riecke	A Calculus for Compiling and Linking Classes.	ESOP	2000	DBLP DOI BibTeX RDF
13	Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer	Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.	Computational Logic	2000	DBLP DOI BibTeX RDF
13	Steffen Hölldobler, Hans-Peter Störr	Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.	Computational Logic	2000	DBLP DOI BibTeX RDF
13	Martin C. Henson, Steve Reeves	Program Development and Specification Refinement in the Schema Calculus.	ZB	2000	DBLP DOI BibTeX RDF
13	Allan Ramsay	Theorem Proving for Constructive lambda-Calculus.	AIMSA	2000	DBLP DOI BibTeX RDF
13	Leliane Nunes de Barros, Paulo E. Santos	The Nature of Knowledge in an Abductive Event Calculus Planner.	EKAW	2000	DBLP DOI BibTeX RDF
13	Antonio Frias Delgado, Jose Antonio Jimenez Millan	An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus.	JELIA	2000	DBLP DOI BibTeX RDF
13	Naoki Kobayashi 0001, Shin Saito, Eijiro Sumii	An Implicitly-Typed Deadlock-Free Process Calculus.	CONCUR	2000	DBLP DOI BibTeX RDF
13	Felix Joachimski, Ralph Matthes	Standardization and Confluence for a Lambda Calculus with Generalized Applications.	RTA	2000	DBLP DOI BibTeX RDF
13	Massimo Merro, Josva Kleist, Uwe Nestmann	Local pi-Calculus at Work: Mobile Objects as Mobile Processes.	IFIP TCS	2000	DBLP DOI BibTeX RDF
13	Dimitar P. Guelev	A Complete Fragment of Higher-Order Duration µ-Calculus.	FSTTCS	2000	DBLP DOI BibTeX RDF
13	Carsten Damm, Markus Holzer 0001, Pierre McKenzie	The Complexity of Tensor Calculus.	CCC	2000	DBLP DOI BibTeX RDF
13	Stephen Zimmerbaum, Richard B. Scherl	Sensing Actions, Time, and Concurrency in the Situation Calculus.	ATAL	2000	DBLP DOI BibTeX RDF
13	Murray Shanahan	The Event Calculus Explained.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF
13	Torben Æ. Mogensen	Linear Time Self-Interpretation of the Pure Lambda Calculus.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
13	Pietro Di Gianantonio, Gianluca Franco, Furio Honsell	Game Semantics for Untyped lambda beta eta-Calculus.	TLCA	1999	DBLP DOI BibTeX RDF
13	Yann Rouzaud	Interpreting the B-Method in the Refinement Calculus.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
13	Maria Luisa Bonet, Nicola Galesi	A Study of Proof Search Algorithms for Resolution and Polynomial Calculus.	FOCS	1999	DBLP DOI BibTeX RDF
13	Andreas Abel 0001, Thorsten Altenkirch	A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types.	TYPES	1999	DBLP DOI BibTeX RDF
13	Klaus-Dieter Schewe, Bernhard Thalheim	A Generalization of Dijkstra's Calculus to Typed Program Specifications.	FCT	1999	DBLP DOI BibTeX RDF
13	Peter Baumgartner 0001, Norbert Eisinger, Ulrich Furbach	A Confluent Connection Calculus.	CADE	1999	DBLP DOI BibTeX RDF
13	Li Li 0024, Jifeng He 0001	A Denotational Semantics of Timed RSL Using Duration Calculus.	RTCSA	1999	DBLP DOI BibTeX RDF	software engineering, formal methods, Real-time requirements, design specification
13	Martin Otto 0001	Eliminating Recursion in the µ-Calculus.	STACS	1999	DBLP DOI BibTeX RDF
13	David Dennis, Vladik Kreinovich, Siegfried M. Rump	Intervals and the Origins of Calculus.	Reliab. Comput.	1998	DBLP DOI BibTeX RDF
13	Martin Hesketh, Maciej Koutny	An Axiomatisation of Duplication Equivalence in the Petri Box Calculus.	ICATPN	1998	DBLP DOI BibTeX RDF	Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation
13	Rutger M. Dijkstra	Computation Calculus - Bridging a Formalization Gap.	MPC	1998	DBLP DOI BibTeX RDF
13	Julian C. Bradfield	Simplifying the Modal Mu-Calculus Alternation Hierarchy.	STACS	1998	DBLP DOI BibTeX RDF
13	Christoph Sprenger 0001	A Verified Model Checker for the Modal µ-calculus in Coq.	TACAS	1998	DBLP DOI BibTeX RDF
13	Farid Benhammadi, Pascal Nicolas, Torsten Schaub	Extension Calculus and Query Answering in Prioritized Default Logic.	AIMSA	1998	DBLP DOI BibTeX RDF	knowledge representation, priorities, nonmonotonic reasoning, default logic, logic for artificial intelligence
13	Ken-etsu Fujita	Polymorphic Call-by-Value Calculus Based on Classical Proofs.	AISC	1998	DBLP DOI BibTeX RDF
13	Peter Scholz	A Refinement Calculus for Statecharts.	FASE	1998	DBLP DOI BibTeX RDF
13	Abelardo Pardo, Gary D. Hachtel	Automatic Abstraction Techniques for Propositional µ-calculus Model Checking.	CAV	1997	DBLP DOI BibTeX RDF
13	Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa	Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.	PEPM	1997	DBLP DOI BibTeX RDF
13	Martin Hofmann 0001, Thomas Streicher	Continuation Models are Universal for Lambda-Mu-Calculus.	LICS	1997	DBLP DOI BibTeX RDF
13	Anna Philippou, David Walker 0008	On Confluence in the pi-Calculus.	ICALP	1997	DBLP DOI BibTeX RDF
13	Olaf Burkart, Bernhard Steffen	Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes.	ICALP	1997	DBLP DOI BibTeX RDF
13	C. Barry Jay, Murray Cole, M. Sekanina, Paul Steckler	A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.	Euro-Par	1997	DBLP DOI BibTeX RDF
13	António Ravara, Vasco Thudichum Vasconcelos	Behavioural Types for a Calculus of Concurrent Objects.	Euro-Par	1997	DBLP DOI BibTeX RDF
13	Gian-Luigi Ferrari 0002, Ugo Montanari	A Tile-Based Coordination View of Asynchronous pi-Calculus.	MFCS	1997	DBLP DOI BibTeX RDF
13	Gang Chen	Subtyping Calculus of Construction (Extended Abstract).	MFCS	1997	DBLP DOI BibTeX RDF
13	Jan Krajícek	Lower Bounds for a Proof System with an Expentential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus.	MFCS	1997	DBLP DOI BibTeX RDF
13	Dieter Hutter, Michael Kohlhase	A Colored Version of the Lambda-Calculus.	CADE	1997	DBLP DOI BibTeX RDF
13	Martin Hofmann 0001	A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion.	CSL	1997	DBLP DOI BibTeX RDF
13	Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam	Automating Proofs of Integrity Constraints in Situation Calculus.	ISMIS	1996	DBLP DOI BibTeX RDF
13	Amy P. Felty	Proof Search with Set Variable Instantiation in the Calculus of Constructions.	CADE	1996	DBLP DOI BibTeX RDF
13	Andrew M. Pitts, Joshua R. X. Ross	Process Calculus Based upon Evaluation to Committed Form.	CONCUR	1996	DBLP DOI BibTeX RDF
13	Julian C. Bradfield	The Modal mu-calculus Alternation Hierarchy is Strict.	CONCUR	1996	DBLP DOI BibTeX RDF	mu-calculi, temporal logic, hierarchies, alternation
13	Roland Fettig, Bernd Löchner	Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type.	RTA	1996	DBLP DOI BibTeX RDF
13	Arnaud Venet	Abstract Interpretation of the pi-Calculus.	LOMAPS	1996	DBLP DOI BibTeX RDF
13	Luca Roversi	A Type-Free Resource-Aware Lambda-Calculus.	CSL	1996	DBLP DOI BibTeX RDF
13	Michal Walicki, Sigurd Meldal	A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	reasoning with nondeterminism, algebraic specifications
13	Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana	From Duration Calculus To Linear Hybrid Automata.	CAV	1995	DBLP DOI BibTeX RDF
13	Otmane Aït Mohamed	Mechanizing a pi-Calculus Equivalence in HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
13	Koichi Nakahara, Aart Middeldorp, Tetsuo Ida	A Complete Narrowing Calculus for Higher-Order Functional Logic Programming	PLILP	1995	DBLP DOI BibTeX RDF
13	Milena Stefanova, Herman Geuvers	A Simple Model Construction for the Calculus of Constructions.	TYPES	1995	DBLP DOI BibTeX RDF
13	Xinxin Liu 0008, David Walker 0008	A Polymorphic Type System for the Polyadic pi-calculus.	CONCUR	1995	DBLP DOI BibTeX RDF