Search results for "q-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Moshe Y. Vardi	Reasoning about The Past with Two-Way Automata.	ICALP	1998	DBLP DOI BibTeX RDF
13	Massimo Merro, Davide Sangiorgi	On Asynchrony in Name-Passing Calculi.	ICALP	1998	DBLP DOI BibTeX RDF
13	Neil Ghani, Valeria de Paiva, Eike Ritter	Explicit Substitutions for Constructive Necessity.	ICALP	1998	DBLP DOI BibTeX RDF
13	Martín Abadi, Andrew D. Gordon 0001	A Bisimulation Method for Cryptographic Protocols.	ESOP	1998	DBLP DOI BibTeX RDF
13	Luigi Liquori	On Object Extension.	ECOOP	1998	DBLP DOI BibTeX RDF
13	Uwe Waldmann	Superposition for Divisible Torsion-Free Abelian Groups.	CADE	1998	DBLP DOI BibTeX RDF
13	Serenella Cerrito, Marta Cialdea Mayer	Bounded Model Search in Linear Temporal Logic and Its Application to Planning.	TABLEAUX	1998	DBLP DOI BibTeX RDF
13	Xinxin Liu, C. R. Ramakrishnan 0001, Scott A. Smolka	Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).	TACAS	1998	DBLP DOI BibTeX RDF
13	Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce	Location-Independent Communication for Mobile Agents: A Two-Level Architecture.	ICCL Workshop: Internet Programming Languages	1998	DBLP DOI BibTeX RDF
13	Jan Vitek, Giuseppe Castagna	Seal: A Framework for Secure Mobile Computations.	ICCL Workshop: Internet Programming Languages	1998	DBLP DOI BibTeX RDF
13	Moshe Y. Vardi	Sometimes and Not Never Re-revisited: On Branching Versus Linear Time.	CONCUR	1998	DBLP DOI BibTeX RDF
13	Xiaogang Zhang, John Potter	A Compositional Approach to Concurrent Objects.	TOOLS (27)	1998	DBLP DOI BibTeX RDF
13	César Muñoz	A Left-Linear Variant of Lambda-Sigma.	ALP/HOA	1997	DBLP DOI BibTeX RDF
13	Roberto Di Cosmo, Delia Kesner	Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
13	Pietro Di Gianantonio	An Abstract Data Type for Real Numbers.	ICALP	1997	DBLP DOI BibTeX RDF	real number computability, denotational and operational semantics, abstract data types, domain theory
13	Yuxi Fu	A Proof Theoretical Approach to Communication.	ICALP	1997	DBLP DOI BibTeX RDF
13	Karl Crary	Foundations for the Implementation of Higher-Order Subtyping.	ICFP	1997	DBLP DOI BibTeX RDF
13	Robert E. Bruccoleri	WRAPGEN - A Tool for the Use of Fortran and C Together in Portable Programs.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF	FORTRAN C
13	Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer	Adding Design Strategies to Fork Algebras.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
13	Dieter Nazareth	Specifying Type Systems.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, type inference, qualified types, axiomatic specification
13	Maria C. F. Ferreira, Delia Kesner, Laurence Puel	Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization.	ALP	1996	DBLP DOI BibTeX RDF
13	Regimantas Pliuskevicius	On Saturation with Flexible Function Symbols.	MFCS	1996	DBLP DOI BibTeX RDF
13	Michele Boreale, Luca Trevisan	Bisimilarity Problems Requiring Exponential Time.	MFCS	1996	DBLP DOI BibTeX RDF
13	Giuseppe De Giacomo, Fabio Massacci	Tableaux and Algorithms for Propositional Dynamic Logic with Converse.	CADE	1996	DBLP DOI BibTeX RDF
13	Eike Ritter, David J. Pym, Lincoln A. Wallen	Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).	CADE	1996	DBLP DOI BibTeX RDF
13	Michele Boreale	On the Expressiveness of Internal Mobility in Name-Passing Calculi.	CONCUR	1996	DBLP DOI BibTeX RDF
13	Rajeev Goré	Cut-free Display Calculi for Relation Algebras.	CSL	1996	DBLP DOI BibTeX RDF
13	Richard Statman	On Cartesian Monoids.	CSL	1996	DBLP DOI BibTeX RDF
13	Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing	A New Strategy for Semantic Matching	PLILP	1995	DBLP DOI BibTeX RDF
13	Xinxin Liu 0008, David Walker 0008	Confluence of Processes and Systems of Objects.	TAPSOFT	1995	DBLP DOI BibTeX RDF
13	Serge Abiteboul, Gerd G. Hillebrand	Space Usage in Functional Query Languages.	ICDT	1995	DBLP DOI BibTeX RDF
13	Michele Boreale, Luca Trevisan	On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract).	FSTTCS	1995	DBLP DOI BibTeX RDF
13	James Clifford, Albert Croker, Alexander Tuzhilin	On Completeness of Historical Relational Query Languages.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	temporal grouping, temporal logic, query languages, completeness, temporal databases, relational model, historical databases
13	Dale Miller 0001	Specifications Using Multiple-Conclusion Logic Programs.	PLILP	1994	DBLP DOI BibTeX RDF
13	Tom Mens, Kim Mens, Patrick Steyaert	OPUS: a Formal Approach to Object-Orientation.	FME	1994	DBLP DOI BibTeX RDF
13	Vasco Thudichum Vasconcelos	Typed Concurrent Objects.	ECOOP	1994	DBLP DOI BibTeX RDF
13	David Aspinall 0001	Subtyping with Singleton Types.	CSL	1994	DBLP DOI BibTeX RDF
13	David Scholefield, Hussein S. M. Zedan, Jifeng He 0001	Real-Time Refinement: Semantics and Application.	MFCS	1993	DBLP DOI BibTeX RDF
13	Furio Honsell, Marina Lenisa	Some Results on the Full Abstraction Problem for Restricted Lambda Calculi.	MFCS	1993	DBLP DOI BibTeX RDF
13	Joachim Parrow, Davide Sangiorgi	Algebraic Theories for Name-Passing Calculi.	REX School/Symposium	1993	DBLP DOI BibTeX RDF
13	Alan Jeffrey	A Chemical Abstract Machine for Graph Reduction.	MFPS	1993	DBLP DOI BibTeX RDF
13	David Scholefield, Hussein S. M. Zedan, Jifeng He 0001	A Predicative Semantics for the Refinement of Real-Time Systems.	MFPS	1993	DBLP DOI BibTeX RDF
13	Anindya Banerjee 0001, David A. Schmidt	A Categorical Interpretation of Landin's Correspondence Principle.	MFPS	1993	DBLP DOI BibTeX RDF
13	Daniel J. Dougherty	Some Lambda Calculi with Categorial Sums and Products.	RTA	1993	DBLP DOI BibTeX RDF
13	Fehime Nihan Kesim, Marek J. Sergot	Versioning of Objects in Deductive Databases.	DOOD	1993	DBLP DOI BibTeX RDF
13	Lars-Henrik Eriksson	Finitary Partial Inductive Definitions as a General Logic.	ELP	1993	DBLP DOI BibTeX RDF
13	Amr Sabry, Matthias Felleisen	Reasoning About Programs in Continuation-Passing Style.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
13	Henrik Reif Andersen	Model Checking and Boolean Graphs.	ESOP	1992	DBLP DOI BibTeX RDF
13	Kim Guldstrand Larsen, Arne Skou	Compositional Verification of Probabilistic Processes.	CONCUR	1992	DBLP DOI BibTeX RDF
13	Mauro Negri, Giuseppe Pelagatti, Licia Sbattella	Formal Semantics of SQL Queries.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	query semantics, SQL, SQL, query equivalence
13	Roberto Gorrieri, Ugo Montanari	Distributed Implementation of CCS.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
13	Weidong Chen 0005, David Scott Warren	Compilation of Predicate Abstractions in Higher-Order Logic Programming.	PLILP	1991	DBLP DOI BibTeX RDF
13	Ulf R. Schmerl	A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs.	CSL	1991	DBLP DOI BibTeX RDF
13	Weidong Chen	Declarative Specification and Evaluation of Database Updates.	DOOD	1991	DBLP DOI BibTeX RDF
13	John Field	On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.	POPL	1990	DBLP DOI BibTeX RDF
13	Éric Badouel	Algebraic Closed Theories.	MFCS	1989	DBLP DOI BibTeX RDF
13	Richard Hull 0001, Jianwen Su	Untyped Sets, Invention, and Computable Queries.	PODS	1989	DBLP DOI BibTeX RDF
13	Matthias Felleisen	The Theory and Practice of First-Class Prompts.	POPL	1988	DBLP DOI BibTeX RDF
13	Egidio Astesiano, Gianna Reggio	SMoLCS-Driven Concurrent Calculi.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
13	Flemming Nielson	Strictness Analysis and Denotational Abstract Interpretation.	POPL	1987	DBLP DOI BibTeX RDF
13	Tsung-Min Kuo, Prateek Mishra	On Strictness and its Analysis.	POPL	1987	DBLP DOI BibTeX RDF	ML
13	Mitchell Wand	Embedding Type Structure in Semantics.	POPL	1985	DBLP DOI BibTeX RDF
13	Pierre-Louis Curien	Categorial Combinatory Logic.	ICALP	1985	DBLP DOI BibTeX RDF
13	Alan J. Demers, James E. Donahue	Data Types, Parameters, and Type Checking.	POPL	1980	DBLP DOI BibTeX RDF
13	D. M. Symes	New Control Structures to Aid Gotolessness.	POPL	1975	DBLP DOI BibTeX RDF
13		Tuple Relational Calculus.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
13		Predicate Calculus.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
13		Calculus Expression.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
13		Domain Relational Calculus.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
13	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind	Tableau calculus for preference-based conditional logics: PCL and its extensions.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Tableaux calculi, conditional logics
13	Roland Meyer 0001	A theory of structural stationarity in the pi -Calculus.	Acta Informatica	2009	DBLP DOI BibTeX RDF
13	Luca Bortolussi, Alberto Policriti	Hybrid Dynamics of Stochastic pi-Calculus.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 92C99, 68U20, 93A99
13	Stefan Kolodzinski, Edward Hrynkiewicz	An utilisation of Boolean differential calculus in variables partition calculation for decomposition of logic functions.	DDECS	2009	DBLP DOI BibTeX RDF
13	Feng Gu 0006, Julie Greensmith, Uwe Aickelin	Exploration of the Dendritic Cell Algorithm Using the Duration Calculus.	ICARIS	2009	DBLP DOI BibTeX RDF
13	Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio	Formal Analysis of an Airplane Accident in NSigma-Labeled Calculus.	AICI	2009	DBLP DOI BibTeX RDF	Formal representation and analysis, Time-concerned program systems, Belief and decision, Near miss accident
13	Yohei Kurata, Hui Shi 0001	Toward Heterogeneous Cardinal Direction Calculus.	KI	2009	DBLP DOI BibTeX RDF	cardinal direction relations, heterogeneous spatial calculi, composition, converse
13	Luís Dominguez	Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus.	LICS	2009	DBLP DOI BibTeX RDF
13	Chuck C. Liang, Dale Miller 0001	A Unified Sequent Calculus for Focused Proofs.	LICS	2009	DBLP DOI BibTeX RDF
13	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	A calculus of atomic actions.	POPL	2009	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
13	Naoki Kobayashi 0001, C.-H. Luke Ong	Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus.	ICALP (2)	2009	DBLP DOI BibTeX RDF
13	Oana Andrei, Hélène Kirchner	A Higher-Order Graph Calculus for Autonomic Computing.	Graph Theory, Computational Intelligence and Thought	2009	DBLP DOI BibTeX RDF
13	Kung-Kiu Lau, Mario Ornaghi	Control Encapsulation: A Calculus for Exogenous Composition of Software Components.	CBSE	2009	DBLP DOI BibTeX RDF
13	Giovanni Lagorio, Marco Servetto, Elena Zucca	Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes.	ECOOP	2009	DBLP DOI BibTeX RDF
13	Bogdan Groza, Marius Minea	A Calculus to Detect Guessing Attacks.	ISC	2009	DBLP DOI BibTeX RDF
13	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	A Schemata Calculus for Propositional Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
13	Benjamin Weiß 0001	Predicate Abstraction in a Program Logic Calculus.	IFM	2009	DBLP DOI BibTeX RDF
13	Roland Meyer 0001, Roberto Gorrieri	On the Relationship between π-Calculus and Finite Place/Transition Petri Nets.	CONCUR	2009	DBLP DOI BibTeX RDF
13	Xiangxi Li, Yu Zhang, Yuxin Deng	Verifying Anonymous Credential Systems in Applied Pi Calculus.	CANS	2009	DBLP DOI BibTeX RDF
13	Eijiro Sumii	A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References.	CSL	2009	DBLP DOI BibTeX RDF
13	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
13	Dean A. Carlson, George Leitmann	Fields of extremals and sufficient conditions for the simplest problem of the calculus of variations.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Field of extremals, Sufficient conditions, Direct method
13	Gabriel Ciobanu	Behaviour Equivalences in Timed Distributed pi-Calculus.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
13	Enrique H. Ruspini	Epistemic Logics, Probability, and the Calculus of Evidence.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF
13	Jifeng He 0001	Transaction Calculus.	HASE	2008	DBLP DOI BibTeX RDF
13	Kaustuv Chaudhuri	Focusing Strategies in the Sequent Calculus of Synthetic Connectives.	LPAR	2008	DBLP DOI BibTeX RDF
13	Jifeng He 0001	Transaction Calculus.	Petri Nets	2008	DBLP DOI BibTeX RDF
13	Ralph Matthes	Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening.	MPC	2008	DBLP DOI BibTeX RDF
13	Susumu Nishimura	Safe Modification of Pointer Programs in Refinement Calculus.	MPC	2008	DBLP DOI BibTeX RDF
13	Søren Riis	On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity.	LICS	2008	DBLP DOI BibTeX RDF	Algebraic proof complexity, predicate logic, Propositional proof complexity
13	Zining Cao	A Logic for Distributed Higher Order pi-Calculus.	TAMC	2008	DBLP DOI BibTeX RDF