Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Masahiro Nagamatu, Torao Yanaru	Lagrangian Method for Satisfiability Problems of Propositional Calculus.	ANNES	1995	DBLP DOI BibTeX RDF	neural network, stability, satisfiability problem, Lagrangian method, propositional calculus
22	Belaid Benhamou, Lakhdar Sais, Pierre Siegel	Two Proof Procedures for a Cardinality Based Language in Propositional Calculus.	STACS	1994	DBLP DOI BibTeX RDF	symmetry and cardinality, theorem proving, propositional calculus
22	Carsten K. Gomard	A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	partial evaluation, lambda calculus, compiler generation, self-application
22	Denys Bernard, Mario Borillo, Bruno Gaume	From event calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	semantics of action, pragmatics of aircraft maintenance, scheduling, temporal reasoning, Event calculus
22	Frank D. Anger, Robert A. Morris 0001, Rita V. Rodríguez, Ramón A. Mata-Toledo	A Temporal Relational Calculus.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	Knowledge Base, Predicate Calculus, Temporal Knowledge
21	Zena M. Ariola, Aaron Bohannon, Amr Sabry	Sequent calculi and abstract machines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
21	Daisuke Kimura, Yoshihiko Kakutani	Classical Natural Deduction for S4 Modal Logic.	APLAS	2009	DBLP DOI BibTeX RDF
21	Jeremy G. Siek, Ronald Garcia, Walid Taha	Exploring the Design Space of Higher-Order Casts.	ESOP	2009	DBLP DOI BibTeX RDF
21	Rajeev Goré, Linda Postniece, Alwen Tiu	Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.	TABLEAUX	2009	DBLP DOI BibTeX RDF
21	Bjørn Haagensen, Hans Hüttel	Parametrised Constants and Replication for Spatial Mobility.	COORDINATION	2009	DBLP DOI BibTeX RDF
21	Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca	An Operational Characterization of Strong Normalization.	FoSSaCS	2006	DBLP DOI BibTeX RDF
21	Frithjof Dau	Some Notes on Proofs with Alpha Graphs.	ICCS	2006	DBLP DOI BibTeX RDF
21	Beata Konikowska, Wojciech Penczek	Model checking for multivalued logic of knowledge and time.	AAMAS	2006	DBLP DOI BibTeX RDF	multivalued modal logic, model checking, epistemic logic, interpreted systems
21	Ivo Düntsch	Relation Algebras and their Application in Temporal and Spatial Reasoning.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	qualitative temporal and spatial reasoning, constraint satisfaction, relation algebra
21	Masahito Hasegawa	Relational Parametricity and Control.	LICS	2005	DBLP DOI BibTeX RDF
21	Marcelo P. Fiore	Mathematical Models of Computational and Combinatorial Structures.	FoSSaCS	2005	DBLP DOI BibTeX RDF
21	John Power	A Universal Embedding for the Higher Order Structure of Computational Effects.	TLCA	2003	DBLP DOI BibTeX RDF
21	José Espírito Santo, Luís Pinto 0001	Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.	TLCA	2003	DBLP DOI BibTeX RDF
21	Xutao Du, Zhoujun Li	A Proof Assistant for Mobile Processes.	APPT	2003	DBLP DOI BibTeX RDF
21	Lledó Museros Cabedo, M. Teresa Escrig	Modeling Motion Qualitatively: Integrating Space and Time.	CCIA	2002	DBLP DOI BibTeX RDF
21	Roberto Giacobazzi, Francesco Ranzato	States vs. Traces in Model Checking by Abstract Interpretation.	SAS	2002	DBLP DOI BibTeX RDF
21	Alessandro Berarducci, Corrado Böhm	General Recursion on Second Order Term Algebras.	RTA	2001	DBLP DOI BibTeX RDF
21	Silvano Dal-Zilio	Spatial Congruence for Ambients Is Decidable.	ASIAN	2000	DBLP DOI BibTeX RDF
21	Serenella Cerrito, Delia Kesner	Pattern Matching as Cut Elimination.	LICS	1999	DBLP DOI BibTeX RDF
21	Martin Wirsing, John N. Crossley, Hannes Peterreins	Proof Normalization of Structured Algebraic Specifications Is Convergent.	WADT	1998	DBLP DOI BibTeX RDF
21	Paola Quaglia	Pi-Congruences as CCS Equivalences.	AMAST	1998	DBLP DOI BibTeX RDF
21	Cédric Fournet, Georges Gonthier	A Hierarchy of Equivalences for Asynchronous Calculi.	ICALP	1998	DBLP DOI BibTeX RDF
21	Nobuko Yoshida	Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
21	Joachim Parrow, Björn Victor	The Tau-Laws of Fusion.	CONCUR	1998	DBLP DOI BibTeX RDF
21	Fairouz Kamareddine, Alejandro Ríos 0001	Generalized beta-Reduction and Explicit Substitution.	PLILP	1996	DBLP DOI BibTeX RDF
21	Nobuko Yoshida	Graph Types for Monadic Mobile Processes.	FSTTCS	1996	DBLP DOI BibTeX RDF
21	Burghard von Karger	An Algebraic Approach to Temporal Logic.	TAPSOFT	1995	DBLP DOI BibTeX RDF
21	Hans de Nivelle	A Unification of Ordering Refinements of Resolution in Classical Logic.	JELIA	1994	DBLP DOI BibTeX RDF
21	Don Pigozzi, Antonino Salibra	A Representation Theorem for Lambda Abstraction Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
21	Femke van Raamsdonk	Confluence and Superdevelopments.	RTA	1993	DBLP DOI BibTeX RDF
21	Didier Rémy	Projective ML.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
21	Flemming Nielson, Hanne Riis Nielson	2-level lambda-lifting.	ESOP	1988	DBLP DOI BibTeX RDF
21	Richard Hull 0001, Jianwen Su	On the Expressive Power of Database Queries with Intermediate Types.	PODS	1988	DBLP DOI BibTeX RDF
21	Pierre-Louis Curien	Typed Categorial Combinatory Logic.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
21	Stephen A. Ward, Robert H. Halstead Jr.	A Syntactic Theory of Message Passing.	J. ACM	1980	DBLP DOI BibTeX RDF
21	Katsuhiko Sano	Sound and Complete Tree-Sequent Calculus for Inquisitive Logic.	WoLLIC	2009	DBLP DOI BibTeX RDF
21	Cristina David, Cristian Gherghina, Wei-Ngan Chin	Translation and optimization for a core calculus with exceptions.	PEPM	2009	DBLP DOI BibTeX RDF	optimization, translation, exceptions
21	Alberto Carraro, Antonino Salibra	Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.	LICS	2009	DBLP DOI BibTeX RDF
21	Nobuyuki Sato, Eijiro Sumii	The Higher-Order, Call-by-Value Applied Pi-Calculus.	APLAS	2009	DBLP DOI BibTeX RDF
21	Baohua Fan, Heying Zhang, Wenhua Dou	Application of Residuation Theory in Network Calculus.	NAS	2009	DBLP DOI BibTeX RDF
21	Ingmar Meinecke	A Weighted µ-Calculus on Words.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
21	Etienne E. Kerre, Mike Nachtegael	Fuzzy Relational Calculus and Its Application to Image Processing.	WILF	2009	DBLP DOI BibTeX RDF
21	Rohit Chadha, Stéphanie Delaune, Steve Kremer	Epistemic Logic for the Applied Pi Calculus.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
21	Corina Cîrstea, Clemens Kupke, Dirk Pattinson	EXPTIME Tableaux for the Coalgebraic µ-Calculus.	CSL	2009	DBLP DOI BibTeX RDF
21	Alfredo Pironti 0001, Riccardo Sisto	Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code.	HASE	2008	DBLP DOI BibTeX RDF
21	Pietro Di Gianantonio, Furio Honsell, Marina Lenisa	RPO, Second-Order Contexts, and lambda-Calculus.	FoSSaCS	2008	DBLP DOI BibTeX RDF
21	Jan Hidders, Jacek Sroka	Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF
21	Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira	Tool Support for the CircusRefinement Calculus.	ABZ	2008	DBLP DOI BibTeX RDF
21	Devesh B. Chokshi, Purandar Bhaduri	Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus.	RTCSA	2008	DBLP DOI BibTeX RDF
21	Jindian Su, Shanshan Yu, Heqing Guo	Dynamic Substitutability Analysis of Web Service Composition via Extended Pi-Calculus.	EUC (1)	2008	DBLP DOI BibTeX RDF
21	Jindian Su, Shanshan Yu, Heqing Guo	Analysis of Web Service Substitutability Based on Typed Pi-Calculus.	EUC (2)	2008	DBLP DOI BibTeX RDF
21	Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher	The Attributed Pi Calculus.	CMSB	2008	DBLP DOI BibTeX RDF
21	Pablo Arrighi, Gilles Dowek	Linear-algebraic lambda-calculus: higher-order, encodings, and confluence..	RTA	2008	DBLP DOI BibTeX RDF
21	Takashi Kitamura 0001, Huimin Lin	Specifying Properties for Modular Pi-Calculus.	TASE	2008	DBLP DOI BibTeX RDF	Model checking, process algebra, Modal Logics
21	Yarom Gabay, Assaf J. Kfoury	A calculus for java's reference objects.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	java reference objects, weak references, garbage collection, formal languages
21	Dietmar Berwanger, Erich Grädel, Giacomo Lenzi	The Variable Hierarchy of the µ-Calculus Is Strict.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
21	Alessandro Ferrante, Aniello Murano, Mimmo Parente	Enriched µ-Calculus Pushdown Module Checking.	LPAR	2007	DBLP DOI BibTeX RDF
21	Florin Ciucu	Network Calculus Delay Bounds in Queueing Networks with Exact Solutions.	ITC	2007	DBLP DOI BibTeX RDF
21	Rafael del Vado Vírseda	A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.	ICTAC	2007	DBLP DOI BibTeX RDF
21	Denis Cousineau 0002, Gilles Dowek	Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.	TLCA	2007	DBLP DOI BibTeX RDF
21	Marcin Jurdzinski, Ranko Lazic 0001	Alternation-free modal mu-calculus for data trees.	LICS	2007	DBLP DOI BibTeX RDF
21	Marcello M. Bonsangue, Alexander Kurz 0001	Pi-Calculus in Logical Form.	LICS	2007	DBLP DOI BibTeX RDF
21	Harald Fecher, Sharon Shoham	Local Abstraction-Refinement for the mu-Calculus.	SPIN	2007	DBLP DOI BibTeX RDF
21	Jesper Bengtson, Joachim Parrow	Formalising the pi-Calculus Using Nominal Logic.	FoSSaCS	2007	DBLP DOI BibTeX RDF
21	Frank Puhlmann	Soundness Verification of Business Processes Specified in the Pi-Calculus.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
21	Ekaterina Komendantskaya	A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.	TABLEAUX	2007	DBLP DOI BibTeX RDF
21	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo	Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.	ISBRA	2007	DBLP DOI BibTeX RDF
21	Tomas Henriksson, Pieter van der Wolf, Axel Jantsch, Alistair C. Bruce	Network Calculus Applied to Verification of Memory Access Performance in SoCs.	ESTIMedia	2007	DBLP DOI BibTeX RDF
21	Werner E. Kluge	Abstract lambda-Calculus Machines.	CEFP	2007	DBLP DOI BibTeX RDF
21	Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro	Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.	CMSB	2007	DBLP DOI BibTeX RDF
21	A. Jason Boggess, Chris Harding	Improving Introductory Calculus Education with 3-D Visualization and Virtual Touch (Haptics).	IMSCCS	2007	DBLP DOI BibTeX RDF	visualization, usability, education, multi-modal interaction, math, 3-D graphics
21	Alexandre Miquel	Classical Program Extraction in the Calculus of Constructions.	CSL	2007	DBLP DOI BibTeX RDF
21	Stéphanie Delaune, Steve Kremer, Mark Ryan 0001	Symbolic Bisimulation for the Applied Pi Calculus.	FSTTCS	2007	DBLP DOI BibTeX RDF
21	Fei Xu, Li Zhang	Unified Modeling and Analysis based on Petri nets and Pi calculus.	TASE	2007	DBLP DOI BibTeX RDF
21	David J. Pym, Chris M. N. Tofts	A Calculus and logic of resources and processes.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF
21	Jan Rauch	Definability of Association Rules in Predicate Calculus.	Foundations and Novel Approaches in Data Mining	2006	DBLP DOI BibTeX RDF
21	Lucia Acciai, Michele Boreale, Silvano Dal-Zilio	A Typed Calculus for Querying Distributed XML Documents.	TGC	2006	DBLP DOI BibTeX RDF
21	Kentaro Kikuchi	On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus.	LPAR	2006	DBLP DOI BibTeX RDF
21	Giulio Manzonetto, Antonino Salibra	Boolean Algebras for Lambda Calculus.	LICS	2006	DBLP DOI BibTeX RDF
21	Paul Blain Levy	Jumbo lambda-Calculus.	ICALP (2)	2006	DBLP DOI BibTeX RDF
21	C. Barry Jay, Delia Kesner	Pure Pattern Calculus.	ESOP	2006	DBLP DOI BibTeX RDF
21	Markus Fidler	An End-to-End Probabilistic Network Calculus with Moment Generating Functions.	IWQoS	2006	DBLP DOI BibTeX RDF
21	Jing Zhang, Haiyang Wang	A Pi-calculus-Based Business Process Formal Design Method.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
21	Martín Abadi	Access control in a core calculus of dependency.	ICFP	2006	DBLP DOI BibTeX RDF	authorization, types
21	Yahui Lu, Li Zhang 0065, Yinbo Liu, Jiaguang Sun 0001	Using pi-Calculus to Formalize Domain Administration of RBAC.	ISPEC	2006	DBLP DOI BibTeX RDF
21	Sven Schewe, Bernd Finkbeiner	Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus.	CSL	2006	DBLP DOI BibTeX RDF
21	Christian Dax, Martin Hofmann 0001, Martin Lange	A Proof System for the Linear Time µ-Calculus.	FSTTCS	2006	DBLP DOI BibTeX RDF
21	Mehul Bhatt, J. Wenny Rahayu, Gerald Sterling	A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
21	Markus Fidler, Stephan Recker	A Dual Approach to Network Calculus Applying the Legendre Transform.	QoS-IP	2005	DBLP DOI BibTeX RDF
21	Carsten Schürmann 0001, Adam Poswolsky, Jeffrey Sarnat	The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.	TLCA	2005	DBLP DOI BibTeX RDF
21	Michael Baldamus, Joachim Parrow, Björn Victor	A Fully Abstract Encoding of the pi-Calculus with Data Terms.	ICALP	2005	DBLP DOI BibTeX RDF
21	Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese	A Mobility Calculus with Local and Dependent Types.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
21	Li Zhang 0065, Zhiwei Yu	Web Process Dynamic Stepped Extension: Pi-Calculus-Based Model and Inference Experiments.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
21	Frank Puhlmann, Mathias Weske	Using the pi-Calculus for Formalizing Workflow Patterns.	Business Process Management	2005	DBLP DOI BibTeX RDF
21	Chunping Li	Representing the Process Semantics in the Situation Calculus.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF