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 |
|