Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum	Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.	WADT	2012	DBLP DOI BibTeX RDF
17	Mathieu Boespflug, Guillaume Burel	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo.	PxTP	2012	DBLP BibTeX RDF
17	Damiano Mazza	An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus.	LICS	2012	DBLP DOI BibTeX RDF
17	Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman	The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
17	Andrew Bennett, Todd Moore	Work in progress: What calculus do students learn after calculus?	FIE	2012	DBLP DOI BibTeX RDF
17	Wenyan Xu, Sanyang Liu	Cirquent Calculus System Cl8s versus Calculus of Structures System Sksg for Propositional Logic.	QLSC	2012	DBLP DOI BibTeX RDF
17	Laurent Jouhet	Algorithmique du Network Calculus. (Network Calculus Algoritmics).		2012	RDF
17	Xiaojuan Cai, Yuxi Fu	The λ-calculus in the π-calculus.	Math. Struct. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti	From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus	CoRR	2011	DBLP BibTeX RDF
17	Thomas J. Robinson 0002	Formal Calculus and Umbral Calculus.	Electron. J. Comb.	2010	DBLP DOI BibTeX RDF
17	Virginia S. Kiryakova	The special functions of fractional calculus as generalized fractional calculus operators of some basic functions.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
17	Ali Uzer	Multiplicative type complex calculus as an alternative to the classical calculus.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
17	Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei	Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.	Sci. Ann. Comput. Sci.	2010	DBLP BibTeX RDF
17	Shahram Rahimi 0001, John Dillards, Bidyut Gupta	An Expert System for Pi-Calculus and Api-Calculus Automated Reduction.	Software Engineering Research and Practice	2008	DBLP BibTeX RDF
17	Eugene Eberbach	Expresiveness of the pi-Calculus and the $-Calculus.	FCS	2006	DBLP BibTeX RDF
17	Stephan Schiffel, Michael Thielscher	Reconciling Situation Calculus and Fluent Calculus.	AAAI	2006	DBLP BibTeX RDF
17	Guojun Wang, Kwai-Sang Chin, C. Y. Dang	A unified approximate reasoning theory suitable for both propositional calculus system L* and predicate calculus system K*.	Sci. China Ser. F Inf. Sci.	2005	DBLP DOI BibTeX RDF
17	Eric S. Marland, Mary E. Searcy	The Calculus Cycle: Using Biology to Connect Discrete and Continuous Modeling in Calculus.	BioMath in the Schools	2005	DBLP DOI BibTeX RDF
17	Song Y. Yan	Computing Prime Factorization and Discrete Logarithms: From Index Calculus to Xedni Calculus.	Int. J. Comput. Math.	2003	DBLP DOI BibTeX RDF
17	Ivan Scagnetto, Marino Miculan	Ambient Calculus and its Logic in the Calculus of Inductive Constructions.	LFM	2002	DBLP DOI BibTeX RDF
17	Ken-etsu Fujita	An interpretation of [lambda][mu]-calculus in [lambda]-calculus.	Inf. Process. Lett.	2002	DBLP DOI BibTeX RDF
17	William G. McCallum	Calculus Mysteries and Thrillers by R. Grant Woods; How to Ace Calculus: The Streetwise Guide by Colin Adams; Joel Hass; Abigail Thompson.	Am. Math. Mon.	2001	DBLP BibTeX RDF
17	Mirna Bognar, Roel C. de Vrijer	A Calculus of Lambda Calculus Contexts.	J. Autom. Reason.	2001	DBLP DOI BibTeX RDF
17	Marino Miculan	On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
17	Katsuhiko Gondow, Takuya Katayama	Attribute Grammars as Record Calculus - A Structure-Oriented Denotational Semantics of Attribute Grammars by Using Cardelli's Record Calculus.	Informatica (Slovenia)	2000	DBLP BibTeX RDF
17	Gérard Boudol, Cosimo Laneve	lambda-calculus, multiplicities, and the pi-calculus.	Proof, Language, and Interaction	2000	DBLP BibTeX RDF
17	Bernadette Bouchon-Meunier, Vladik Kreinovich	Fuzzy Modus Ponens as a Calculus of Logical Modifiers: Towards Zadeh's Vision of Implication Calculus.	Inf. Sci.	1999	DBLP DOI BibTeX RDF
17	Michael Thielscher	From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem.	Artif. Intell.	1999	DBLP DOI BibTeX RDF
17	Martín Abadi, Andrew D. Gordon 0001	A Calculus for Cryptographic Protocols: The spi Calculus.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
17	Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia	Pi+- Calculus: A Calculus for Concurrent Processes with Constraints.	CLEI Electron. J.	1998	DBLP DOI BibTeX RDF
17	Burghard von Karger	Computation calculus = sequential calculus + discreteness and termination.	RelMiCS	1998	DBLP BibTeX RDF
17	Robert A. Kowalski, Fariba Sadri	Reconciling the Event Calculus With the Situation Calculus.	J. Log. Program.	1997	DBLP DOI BibTeX RDF
17	Kristof Van Belleghem, Marc Denecker, Danny De Schreye	On the Relation Between Situation Calculus and Event Calculus.	J. Log. Program.	1997	DBLP DOI BibTeX RDF
17	Fairouz Kamareddine, Alejandro Ríos 0001	Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms.	J. Funct. Program.	1997	DBLP DOI BibTeX RDF
17	Martín Abadi, Andrew D. Gordon 0001	A Calculus for Cryptographic Protocols: The Spi Calculus.	CCS	1997	DBLP DOI BibTeX RDF
17	Eiichi Horita, Ken Mano	Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus.	ASIAN	1997	DBLP DOI BibTeX RDF
17	Alessandro Provetti	Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus.	Comput. Intell.	1996	DBLP DOI BibTeX RDF
17	Kristof Van Belleghem, Marc Denecker, Danny De Schreye	Combining Situation Calculus and Event Calculus.	ICLP	1995	DBLP BibTeX RDF
17	Rob Miller 0002	Situation Calculus Specifications for Event Calculus Logic Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
17	Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen	From a Concurrent Lambda-Calculus to the Pi-Calculus.	FCT	1995	DBLP DOI BibTeX RDF
17	Michel Volle	Calculus rules for global approximate minima and applications to approximate subdifferential calculus.	J. Glob. Optim.	1994	DBLP DOI BibTeX RDF
17	Robert A. Kowalski, Fariba Sadri	The Situation Calculus and Event Calculus Compared.	ILPS	1994	DBLP BibTeX RDF
17	Alessandro Provetti	Hypothetical Reasoning from Situation Calculus to Event Calculus.	TIME	1994	DBLP BibTeX RDF
17	Matthias Weber 0003	Formalization of the Bird-Meertens Algorithmic Calculus in the Deva Meta-Calculus.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
17	Gary W. Hansen, James V. Hansen	Human Performance in Relational Algebra, Tuple Calculus, and Domain Calculus.	Int. J. Man Mach. Stud.	1988	DBLP DOI BibTeX RDF
17	Isamu Kobayashi	Tuple calculus: formal definiton and conversion from first-order calculus.	Inf. Syst.	1987	DBLP DOI BibTeX RDF
17	Jonathan P. Seldin	A Sequent Calculus Formulation of Type Assignment with Equality Rules for the lambda beta-Calculus.	J. Symb. Log.	1978	DBLP DOI BibTeX RDF
17	Jean-Jacques Lévy	An Algebraic Interpretation of the lambda beta K-Calculus; and an Application of a Labelled lambda -Calculus.	Theor. Comput. Sci.	1976	DBLP DOI BibTeX RDF
17	Charles D. Parsons	Corrigendum to my paper: "A propositional calculus intermediate between the minimal calculus and the classical".	Notre Dame J. Formal Log.	1969	DBLP DOI BibTeX RDF
17	Charles D. Parsons	A propositional calculus intermediate between the minimal calculus and the classical.	Notre Dame J. Formal Log.	1966	DBLP DOI BibTeX RDF
17	Juliusz Reichbach	On the connection of the first-order functional calculus with ℵ0 propositional calculus.	Notre Dame J. Formal Log.	1965	DBLP DOI BibTeX RDF
17	Alan Ross Anderson	Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M.	J. Symb. Log.	1954	DBLP DOI BibTeX RDF
14	Radim Belohlávek, Vilém Vychodil	Query systems in similarity-based databases: logical foundations, expressive power, and completeness.	SAC	2010	DBLP DOI BibTeX RDF	domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices
14	Jeremy G. Siek, Philip Wadler	Threesomes, with and without blame.	POPL	2010	DBLP DOI BibTeX RDF	blame tracking, lambda-calculus, coercions, casts
14	Ugo Dal Lago	The geometry of linear higher-order recursion.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	higher-order recursion, type systems, lambda calculus, implicit computational complexity, Geometry of interaction
14	Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt	Specifying norm-governed computational societies.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	agent, policy, norm, executable specification, event calculus, Action language, contract-net
14	Zhaohui Wu 0001, ShuiGuang Deng, Ying Li 0001, Jian Wu 0001	Computing compatibility in dynamic service composition.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Behavioral compatibility, Web service, Service composition, ?-calculus
14	Raúl Monroy, Alan Bundy, Ian Green	On Process Equivalence = Equation Solving in CCS.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Unique fixpoint induction, Equational verification Calculus of communicating systems
14	Patrick Girard 0004, Jeremy Seligman	An Analytic Logic of Aggregation.	ICLA	2009	DBLP DOI BibTeX RDF	preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus
14	David England, Martin Randles, A. Taleb-Bendiab	Runtime user interface design and adaptation.	BCS HCI	2009	DBLP BibTeX RDF	user interface description, situation calculus, runtime adaptation
14	Francis G. McCabe	Real-time event processing for high volume applications using StarRulesTM.	DEBS	2009	DBLP DOI BibTeX RDF	parallel programming, agents, functional programming, fault detection, event calculus, agent oriented programming, semiconductor manufacturing
14	Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella	On-line adaptation of sequential mobile processes running concurrently.	SAC	2009	DBLP DOI BibTeX RDF	GOLOG, pervasive scenarios, process management, situation calculus, smart devices
14	Colin Stirling	Dependency Tree Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF	binding terms, Tree automata, typed lambda calculus
14	Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka	Verification of Information Flow in Agent-Based Systems.	MCETECH	2009	DBLP DOI BibTeX RDF	Global calculus, Information Algebra, Agent Knowledge, Information Flow, Hoare Logic
14	Giulio Manzonetto	A General Class of Models of H*.	MFCS	2009	DBLP DOI BibTeX RDF	?-theories, non-well-pointed categories, cpo-enriched categories, relational semantics, Approximation Theorem, ?-calculus
14	Avik Chaudhuri	A concurrent ML library in concurrent Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML
14	Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin	Clock-driven distributed real-time implementation of endochronous synchronous programs.	EMSOFT	2009	DBLP DOI BibTeX RDF	clock calculus, distributed real-time scheduling, intermediate representation, synchronous model
14	Amélie Gheerbrant, Balder ten Cate	Craig Interpolation for Linear Temporal Languages.	CSL	2009	DBLP DOI BibTeX RDF	Propositional Linear Temporal Logic, Linear Time ?-Calculus, Craig Interpolation
14	Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan	On the Relationships between Notions of Simulation-Based Security.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
14	Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig	A congruence relation for sPBC.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Petri box calculus, Operational semantics, Stochastic Petri nets, Stochastic process algebras
14	Christian Urban	Nominal Techniques in Isabelle/HOL.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Nominal logic work, Lambda-calculus, Theorem provers
14	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina	Bisimulations in calculi modelling membranes.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations
14	Seiki Akama, Kazumi Nakamatsu, Jair Minoro Abe	Constructive Logic and the Sorites Paradox.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	the sorites paradox, contractionless constructive logic, vagueness, sequent calculus
14	Daniel Leivant	Propositional Dynamic Logic for Recursive Procedures.	VSTTE	2008	DBLP DOI BibTeX RDF	?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic
14	El-Bahlul Fgee, William J. Phillips, William Robertson 0001	Comparison between a Proposed QoS Mathematical Model and other IP QoS Models.	CNSR	2008	DBLP DOI BibTeX RDF	Quality of Service, Network Calculus
14	Roland Meyer 0001, Victor Khomenko, Tim Strazny	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.	Petri Nets	2008	DBLP DOI BibTeX RDF	finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus
14	Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre	Winning Regions of Higher-Order Pushdown Games.	LICS	2008	DBLP DOI BibTeX RDF	higher-order pushdown automata, mu-calculus model-checking, parity games, higher-order recursion schemes
14	Makoto Tatsuta	Types for Hereditary Permutators.	LICS	2008	DBLP DOI BibTeX RDF	hereditary permutator, infinite lambda-calculus, stream type, intersection type
14	Daniel R. Licata, Noam Zeilberger, Robert Harper 0001	Focusing on Binding and Computation.	LICS	2008	DBLP DOI BibTeX RDF	computation, binding, logical frameworks, polarity, sequent calculus
14	Abbas Edalat	Weak Topology and a Differentiable Operator for Lipschitz Maps.	LICS	2008	DBLP DOI BibTeX RDF	Clarke gradient, Weakest topology, Second order functionals, Fundamental Theorem of Calculus, Domain theory, Hausdorff metric
14	Suthathip Suanmali	Maple in Mathematics.	ITNG	2008	DBLP DOI BibTeX RDF	Abstract Algebra, Isomorphism Classes, Maple, Mathematics, Calculus
14	Anand Ranganathan, Roy H. Campbell	Provably Correct Pervasive Computing Environments.	PerCom	2008	DBLP DOI BibTeX RDF	Model Checking, Verification, Formal Methods, Pervasive Computing, Ambient Calculus
14	Michael Pedersen	Compositional Definitions of Minimal Flows in Petri Nets.	CMSB	2008	DBLP DOI BibTeX RDF	minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity
14	David Evans 0002, David M. Eyers	Deontic logic for modelling data flow and use compliance.	MPAC	2008	DBLP DOI BibTeX RDF	middleware, contract, deontic logic, event calculus
14	Jean-Pierre Jouannaud, Albert Rubio	Polymorphic higher-order recursive path orderings.	J. ACM	2007	DBLP DOI BibTeX RDF	Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus
14	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for type abstraction and recursion.	J. ACM	2007	DBLP DOI BibTeX RDF	bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
14	JianXing Fan, Huazhong Yang, Hui Wang 0004, Xiaolang Yan, Chaohuan Hou	Phase noise analysis of oscillators with Sylvester representation for periodic time-varying modulus matrix by regular perturbations.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	periodic time-varying, Sylvester theorem, power-law spectrum, Lorentzian spectrum, Floquet exponent, stochastic calculus, phase noise
14	Marta Bílková	Uniform Interpolation and Propositional Quantifiers in Modal Logics.	Stud Logica	2007	DBLP DOI BibTeX RDF	propositional quantifiers, interpolation, modal logic, sequent calculus
14	Daisuke Miyazaki, Katsushi Ikeuchi	Shape Estimation of Transparent Objects by Using Inverse Polarization Ray Tracing.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Mueller calculus, Transparency, Polarization, Raytracing, Shape-from-X
14	Wenpin Jiao, Hong Mei 0001	Supporting high interoperability of components by adopting an agent-based approach.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Agent, Interoperability, Component, Wrapper, pi-Calculus
14	Matthew Fisher, Peter Schröder, Mathieu Desbrun, Hugues Hoppe	Design of tangent vector fields.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	constrained Laplace and Poisson problems for 1-forms, discrete differential 1-forms, discrete exterior calculus, texture synthesis
14	Andrew Cirillo, James Riely	Access Control Based on Code Identity for Open Distributed Systems.	TGC	2007	DBLP DOI BibTeX RDF	Compound Principals, Higher-Order Pi Calculus, Access Control, Typing, Trusted Computing, Remote Attestation, Authorization Logic
14	Nicos Gollan, Jens B. Schmitt	Energy-Efficent TDMA Design Under Real-Time Constraints in Wireless Sensor Networks.	MASCOTS	2007	DBLP DOI BibTeX RDF	Real-time guarantees, Optimal TDMA, Wireless Sensor Networks, Energy-Efficiency, Network calculus
14	George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos	Towards security monitoring patterns.	SAC	2007	DBLP DOI BibTeX RDF	runtime monitoring, event calculus, security patterns
14	Vineet Kahlon, Aarti Gupta	On the analysis of interacting pushdown systems.	POPL	2007	DBLP DOI BibTeX RDF	model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems
14	Rolf Grütter, Bettina Bauer-Messmer	Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture.	AGILE Conf.	2007	DBLP DOI BibTeX RDF	Region Connection Calculus (RCC), Knowledge Representation System, Environmental Database, Semantic Web, Web Ontology Language (OWL), Spatial Reasoning
14	Luciano Lenzini, Enzo Mingozzi, Giovanni Stea	End-to-end delay bounds in FIFO-multiplexing tandems.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	FIFO-multiplexing, network calculus, delay bound
14	Anne Bouillard, Bruno Gaujal, Sebastien Lagrange, Eric Thierry	Optimal routing for end-to-end guarantees: the price of multiplexing.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	(min, +) algebra, shortest path, multiplexing, network calculus
14	Kai Zong, Shihua Li 0001, Xiangze Lin	The Application of Fractional-Order PI Control Algorithm to the PMSM Speed-Adjusting System.	ICIC (3)	2007	DBLP DOI BibTeX RDF	PMSM, fractional calculus, speed adjusting, PI algorithm
14	Fulong Chen 0002, Xiaoya Fan	Embedded System's Performance Analysis with RTC and QT.	APPT	2007	DBLP DOI BibTeX RDF	embedded system, performance analysis, queuing theory, real-time calculus