Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
79 | Stefan Wölfl 0001, Till Mossakowski |
Casl Specifications of Qualitative Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings, pp. 200-217, 2005, Springer, 3-540-28964-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
79 | Davide Sangiorgi |
Internal Mobility and Agent-Passing Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 672-683, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
78 | Cristian Versari |
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 411-425, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
70 | Alan Schmitt, Jean-Bernard Stefani |
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Computing ![In: Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers, pp. 146-178, 2004, Springer, 3-540-24101-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages |
70 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Analytic Calculi for Product Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(7), pp. 859-890, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Product logic, Hypersequent calculi, Fuzzy logic, Sequent calculi |
65 | Dominik Lücke, Till Mossakowski, Diedrich Wolter |
Qualitative Reasoning about Convex Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition VI. Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings, pp. 426-440, 2008, Springer, 978-3-540-87600-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Qualitative spatio-temporal reasoning, relative orientation calculi, consistency |
64 | Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui |
From Axioms to Analytic Rules in Nonclassical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 229-240, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi |
63 | Manfred Schmidt-Schauß |
Correctness of Copy in Calculi with Letrec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 329-343, 2007, Springer, 978-3-540-73447-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
63 | Jan Rauch |
Many Sorted Observational Calculi for Multi-Relational Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 18-22 December 2006, Hong Kong, China, pp. 417-422, 2006, IEEE Computer Society, 0-7695-2702-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Jens Chr. Godskesen, Kim Guldstrand Larsen |
Real-Time Calculi and Expansion Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings, pp. 302-315, 1992, Springer, 3-540-56287-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
62 | Piero A. Bonatti, Nicola Olivetti |
Sequent calculi for propositional nonmonotonic logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(2), pp. 226-278, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Default Logic, Circumscription, Sequent calculi, Autoepistemic Logic, Rejection methods |
61 | Alexis Saurin |
On the Relations between the Syntactic Theories of lambda-mu-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 154-168, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Classical ?-calculi, ??-calculi, Streams, Type Systems, Confluence, Strong Normalization |
55 | Richard S. Bird, Lambert G. L. T. Meertens (eds.) |
Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![Chapman & Hall, 0-412-82050-1 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Klaus Achatz, Helmuth Partsch |
A powerful transformation rule, its applications and variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 265-295, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum |
Synthesising interconnections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 240-264, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Eric Violard, Stéphane Genaud, Guy-René Perrin |
Refinement of data parallel programs in PEI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 107-131, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Matteo Vaccari, Roland Carl Backhouse |
Deriving a systolic regular language recognizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 49-72, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Alberto Pettorossi, Maurizio Proietti |
Program derivation via list introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 296-323, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Yanhong A. Liu |
Principled strength reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 357-381, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Theodore S. Norvell |
Predicative semantics of loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 415-437, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
A calculational fusion system HYLO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 76-106, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Marc Frappier, Ali Mili 0001, Jules Desharnais |
Defining and detecting feature interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 212-239, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Yellamraju V. Srinivas |
Refinement of parameterized algebraic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 164-186, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Sharon Curtis |
Dynamic programming: a different perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 1-23, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | David S. Wile |
Towards a calculus for abstract syntax trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 324-353, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Deepak Goyal, Robert Paige |
The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 382-414, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper |
Solving large systems of differential equations in parallel using covers and skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 132-159, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Towards a compositional interpretation of object diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 187-211, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Bernhard Möller |
Calculating with pointer structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 24-48, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
55 | Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor |
Psi-calculi: Mobile Processes, Nominal Data, and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 39-48, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
55 | Nadia Busi, Claudio Zandron |
Modeling and analysis of biological processes by mem(brane) calculi and systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1646-1655, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
55 | Uwe Nestmann |
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 52-63, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
55 | Matthias M. Hölzl, John N. Crossley |
Disjunctive Constraint Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 64-78, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 226-240, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Robin Milner |
Higher-Order Action Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers, pp. 238-260, 1993, Springer, 3-540-58277-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
54 | Cristian Versari, Roberto Gorrieri |
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, pp. 449-506, 2008, Springer, 978-3-540-68892-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
polyadic synchronisation, BioAmbients, Brane Calculi, priority, pi-calculus |
54 | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 39(1), pp. 1-47, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving |
49 | José Espírito Santo |
Delayed Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 169-183, 2007, Springer, 978-3-540-73447-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Alexander Scivos, Bernhard Nebel |
The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, RevisedSelected Papers, pp. 283-303, 2004, Springer, 3-540-25048-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Uwe Nestmann, António Ravara |
Semantics of Objects as Processes (SOAP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 314-325, 1999, Springer, 3-540-66954-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Adriana B. Compagnoni, Maribel Fernández |
On Object Calculus with Algebraic Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings, pp. 17-31, 1997, Springer, 3-540-63398-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Object calculi, Combined calculi, Type systems, Rewriting |
46 | Cristian Versari, Nadia Busi, Roberto Gorrieri |
On the Expressive Power of Global and Local Priority in Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, pp. 241-255, 2007, Springer, 978-3-540-74406-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro |
SensoriaProcess Calculi for Service-Oriented Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, pp. 30-50, 2006, Springer, 978-3-540-75333-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(3), pp. 578-613, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
? ukasiewicz logic, Abelian logic, Hypersequents, Sequents |
46 | Pierluigi Minari |
Analytic combinatory calculi and the elimination of transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(2), pp. 159-192, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Extensionality, Elimination of transitivity, Equational logic, Combinatory logic |
46 | Jochen Renz, Debasis Mitra 0003 |
Qualitative Direction Calculi with Arbitrary Granularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings, pp. 65-74, 2004, Springer, 3-540-22817-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Stefan Blom |
An Approximation Based Approach to Infinitary Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings, pp. 221-232, 2004, Springer, 3-540-22153-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
infinitary rewriting, lambda calculus |
46 | Georg Struth |
Deriving Focused Lattice Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 83-97, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Georg Struth |
Deriving Focused Calculi for Transitive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, pp. 291-305, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin |
From Action Calculi to Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers, pp. 78-97, 1997, Springer, 3-540-64570-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Delia Kesner |
Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings, pp. 184-199, 1996, Springer, 3-540-61464-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
46 | Ulrich Furbach |
Theory Reasoning in First Order Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS/KI ![In: Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings, pp. 139-156, 1994, Springer, 3-540-57802-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
46 | Chaochen Zhou |
Duration Calculi: An Overview (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Programming and Their Applications ![In: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings, pp. 256-266, 1993, Springer, 3-540-57316-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
46 | Per Kreuger |
Axioms in Definitional Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings, pp. 196-205, 1993, Springer, 3-540-58025-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
46 | Egidio Astesiano, Gianna Reggio |
SMoLCS-Driven Concurrent Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87), pp. 169-201, 1987, Springer, 3-540-17660-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
46 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulations in calculi modelling membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 351-377, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations |
46 | Joana Hois, Oliver Kutz |
Natural Language Meets Spatial Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition VI. Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings, pp. 266-282, 2008, Springer, 978-3-540-87600-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Spatial calculi, Ontologies, connections, Spatial language |
46 | Yohji Akama |
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 399-413, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
partial combinatory algebra, limiting recursive functions, realizability interpretation, infinitary lambda-calculi, In the interpretation, ?-variables(=continuations) are interpreted as streams of -terms, calculus, discontinuity |
46 | Gerard Ligozat |
Simple Models for Simple Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 173-188, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
spatial constraint networks, RCC calculi, composition tables, scenario, finite models |
42 | Christian W. Probst, Chris Hankin, René Rydhof Hansen (eds.) |
Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![Springer, 978-3-319-27809-4 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Bernhard Steffen, Malte Isberner, Marc Jasper |
Playing with Abstraction and Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 191-213, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente |
Replicating Data for Better Performances in X10. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 236-251, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Jan Reineke 0001, Reinhard Wilhelm |
Static Timing Analysis - What is Special? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 74-87, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Fritz Henglein, Jakob Rehof |
Modal Intersection Types, Two-Level Languages, and Staged Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 289-312, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta |
Last Mile's Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 33-53, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Stephen Gilmore, Jane Hillston, Natalia Zon |
Abstract Interpretation of PEPA Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 140-158, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Christian W. Probst, Florian Kammüller, René Rydhof Hansen |
Formal Modelling and Analysis of Socio-Technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 54-73, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Michael Huth 0001, Jim Huan-Pu Kuo, Nir Piterman |
Static Analysis of Parity Games: Alternating Reachability Under Parity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 159-177, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Chris Hankin |
Game Theory and Industrial Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 178-190, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Arnd Hartmanns, Holger Hermanns, Jan Krcál |
Schedulers are no Prophets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 214-235, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Kalmer Apinis, Helmut Seidl, Vesal Vojdani |
Enhancing Top-Down Solving with Widening and Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 272-288, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir |
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 313-343, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen |
An Automata-Based Approach to Trace Partitioned Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 88-110, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Alessandra Di Pierro, Herbert Wiklicky |
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 111-139, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | David A. Schmidt |
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 252-271, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
42 | Alan Mycroft, Dominic A. Orchard, Tomas Petricek 0001 |
Effect Systems Revisited - Control-Flow Algebra and Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics, Logics, and Calculi ![In: Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays, pp. 1-32, 2016, Springer, 978-3-319-27809-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Jochen Renz, Gérard Ligozat |
Weak Composition for Qualitative Spatial and Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 534-548, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Masahito Hasegawa |
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, pp. 196-213, 1997, Springer, 3-540-62688-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
41 | Marina Lenisa |
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, pp. 248-266, 1997, Springer, 3-540-62688-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
41 | Pawel Urzyczyn |
Inhabitation in Typed Lambda-Calculi (A Syntactic Approach). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, pp. 373-389, 1997, Springer, 3-540-62688-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
41 | Hongwei Xi |
Weak and Strong Beta Normalisations in Typed Lambda-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, pp. 390-404, 1997, Springer, 3-540-62688-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
41 | Paul-André Melliès |
Typed lambda-calculi with explicit substitutions may not terminate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings, pp. 328-334, 1995, Springer, 3-540-59048-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
41 | Davide Sangiorgi |
Bisimulation in Higher-Order Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994, pp. 207-224, 1994, North-Holland, 0-444-82020-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
41 | Bart Jacobs 0001 |
Semantics of lambda-I and of other substructure lambda calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 195-208, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Masako Takahashi |
Lambda-Calculi with Conditional Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 406-417, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Edsger W. Dijkstra |
The Unification of Three Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NATO ASI PDC ![In: Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992., pp. 197-231, 1992, Springer, 978-3-642-08164-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
40 | Arnon Avron, Beata Konikowska |
Rough Sets and 3-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(1), pp. 69-92, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
rough sets, three-valued logics, sequent calculi, non-deterministic matrices |
40 | Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero |
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 286-301, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UML, performance analysis, security analysis, process calculi |
40 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Goal-Directed Calculli for Gödel-Dummett Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 413-426, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics |
40 | Gilles Barthe, Tarmo Uustalu |
CPS translating inductive and coinductive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002, pp. 131-142, 2002, ACM, 1-58113-455-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations |
38 | Jesper Bengtson, Joachim Parrow |
Psi-calculi in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 99-114, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Roberto Bruni |
Calculi for Service-Oriented Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 1-41, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Arnon Avron, Anna Zamansky |
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 31-45, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of meta-variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(1), pp. 12-21, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
meta-variable, context, ?-calculus, logical framework |
38 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Event Structure Semantics for Nominal Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 295-309, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Marco Ragni, Stefan Wölfl 0001 |
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings, pp. 64-78, 2005, Springer, 3-540-28761-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto |
Model Checking for Nominal Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 1-24, 2005, Springer, 3-540-25388-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Andrew D. Gordon 0001 |
From Typed Process Calculi to Source-Based Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, pp. 2, 2005, Springer, 3-540-28584-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos |
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Computing ![In: Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers, pp. 179-207, 2004, Springer, 3-540-24101-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of Meta-variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 484-497, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|