|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4972 occurrences of 1938 keywords
|
|
|
Results
Found 12317 publication records. Showing 12317 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Chris George, Zhiming Liu 0001, Jim Woodcock 0001 (eds.) |
Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain Modeling and the Duration Calculus ![Springer, 978-3-540-74963-9 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Alan Burns 0001, Andy J. Wellings |
Delivering Real-Time Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain Modeling and the Duration Calculus ![In: Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures, pp. 1-50, 2007, Springer, 978-3-540-74963-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Chris George |
Applicative Modelling with RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain Modeling and the Duration Calculus ![In: Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures, pp. 51-118, 2007, Springer, 978-3-540-74963-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Cliff B. Jones |
Understanding Programming Language Concepts Via Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain Modeling and the Duration Calculus ![In: Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures, pp. 177-235, 2007, Springer, 978-3-540-74963-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Corrado Böhm (eds.) |
Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![Springer, 3-540-07416-3 The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Corrado Böhm, Mariangiola Dezani-Ciancaglini |
Lambda-terms as total or partial functions on normal forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 96-121, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Dana S. Scott |
Some philosophical issues concerning theories of combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 346-366, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Marisa Venturini Zilli |
A model with nondeterministic computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 287-296, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Carlo Batini, Alberto Pettorossi |
On subrecursiveness in weak combinatory logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 297-311, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | J. W. de Bakker |
Least fixed points revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 27-61, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Vladimir Yu. Sazonov |
Sequentially and parallelly computable functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 312-318, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Dana S. Scott |
Combinators and classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 1-26, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | A. Dubinsky |
Computation on arbitrary algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 319-341, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | |
Open problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 367-370, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Henk Barendregt |
Normed uniformly reflexive structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 272-286, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Giuseppe Jacopini |
A condition for identifying two elements of whatever model of combinatory logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 213-219, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Jan Willem Klop |
On solvability by lambda I - terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 342-345, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Peter H. Welch |
Continuous semantics and inside-out reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 122-146, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
35 | Oliver Bittel |
Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 262-278, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Typed -Calculus, Program Synthesis, Intuitionistic Logic, Automatic Theorem Proving |
35 | Barbara Petit |
A Polymorphic Type System for the Lambda-Calculus with Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 234-248, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
strong normalisation, pattern matching, polymorphism, lambda-calculus |
35 | Anne Bouillard, Eric Thierry |
An Algorithmic Toolbox for Network Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(1), pp. 3-49, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Functional (min,+) algebra, Algorithmics, Computational complexity, Network calculus |
35 | Marie-Renée Fleury, Myriam Quatrini |
A Mixed lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(2-3), pp. 269-294, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization |
35 | Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub |
Building Decision Procedures in the Calculus of Inductive Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 328-342, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Calculus of Inductive Constructions, Decision procedures, Theorem provers |
35 | András Gulyás, József Bíró |
Workload Loss Examinations with a Novel Probabilistic Extension of Network Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2006 - Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems, 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006, Proceedings, pp. 533-544, 2006, Springer, 3-540-34192-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
statistical multi- plexing, Network calculus, resource estimation |
35 | Yuming Jiang 0001 |
A basic stochastic network calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Pisa, Italy, September 11-15, 2006, pp. 123-134, 2006, ACM, 1-59593-308-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
independent case analysis, stochastic arrival curve, stochastic network calculus, stochastic quality of service guarantee, stochastic service curve, stochastic strict server |
35 | Hongbing Chen, Qun Yang, Manwu Xu |
A Calculus for MAS Interaction Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 22-33, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Dialogue protocol, Multi-agent, Interaction protocol, ?-Calculus |
35 | Li Kuang, Ying Li 0001, ShuiGuang Deng, Jian Wu 0001, Wei Shi, Zhaohui Wu 0001 |
Expressing Service and Query Behavior Using pi-Calculus for Matchmaking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 629-632, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Service Behavior, Web Service, pi-calculus, Service Matchmaking |
35 | Frédéric Peschanski, Samuel Hym |
A stackless runtime environment for a Pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006, pp. 57-67, 2006, ACM, 978-1-59593-332-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
garbage collection, interpreter, operational semantics, Pi-calculus |
35 | Simon Helsen |
Bisimilarity for the Region Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 17(4), pp. 347-394, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
region calculus, bisimulation, equational theory, contextual equivalence |
35 | Martin Fränzle |
Model-checking dense-time Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(2), pp. 121-139, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Dense-time Duration Calculus, Model-checking, Decidability |
35 | Silvio do Lago Pereira, Leliane Nunes de Barros |
High-Level Robot Programming: An Abductive Approach Using Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 73-82, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
planning, abduction, event calculus, cognitive robotics |
35 | Luigi Liquori, Bernard P. Serpette |
iRho: an imperative rewriting calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 167-178, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics |
35 | Thomas M. Schmidt, Frederick E. Petry, Roy Ladner |
The Object Event Calculus and Temporal Geographic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings, pp. 799-814, 2003, Springer, 3-540-40455-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
temporal object model, Event Calculus, spatiotemporal data, Temporal GIS |
35 | Riccardo Pucella |
Towards a formalization for COM part i: the primitive calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 331-342, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
components, interfaces, type system, formalism, calculus, COM |
35 | Carola Eschenbach |
A Predication Calculus for Qualitative Spatial Representations. ![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. 157-172, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Topology, Inferences, Axiomatics, Qualitative Spatial Reasoning, Spatial Structure, Predication Calculus, Mereology |
35 | Alexander A. Razborov |
Lower Bounds for the Polynomial Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 7(4), pp. 291-324, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
polynomial calculus, Proof complexity, pigeonhole principle |
35 | Yuxi Fu |
The x-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APDC ![In: Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), March 19-21, 1997, Shanghai, China, pp. 74-81, 1997, IEEE Computer Society, 0-8186-7876-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
bisimulation, pi-calculus |
35 | Luis Mandel, María Victoria Cengarle |
The Disjunctive Constrained Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 297-309, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
constraints, functional programming, lambda calculus, denotational semantics, multiple solutions |
35 | Michael R. Hansen, Zhou Chaochen |
Semantics and Completeness of Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 209-225, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic |
35 | Markus Fidler, Jens B. Schmitt |
On the way to a distributed systems calculus: an end-to-end network calculus with data scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS/Performance ![In: Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS/Performance 2006, Saint Malo, France, June 26-30, 2006, pp. 287-298, 2006, ACM, 1-59593-319-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
network calculus, packetizers, scaling functions |
34 | Nicolas Tabareau |
A theory of distributed aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010, pp. 133-144, 2010, ACM, 978-1-60558-958-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Michele Bugliesi, Marco Giunti |
Secure implementations of typed channel abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 251-262, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
language encodings, typed behavioral theories, full abstraction |
34 | Orna Kupferman, Moshe Y. Vardi |
Π2 ∩ Σ2 ≡ AFMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 697-713, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
Minimality Results for the Spatial Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 252-264, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
The Rho Cube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 168-183, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
Matching Power. ![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. 77-92, 2001, Springer, 3-540-42117-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Cristian Ene, Traian Muntean |
Expressiveness of Point-to-Point versus Broadcast Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, pp. 258-268, 1999, Springer, 3-540-66412-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Davide Sangiorgi |
An Investigation into Functions as Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 143-159, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Baohua Fan, Heying Zhang, Wenhua Dou |
A Max-plus Network Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 149-154, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Daisuke Kimura, Makoto Tatsuta |
Dual Calculus with Inductive and Coinductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings, pp. 224-238, 2009, Springer, 978-3-642-02347-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Viorica R. Chifu, Ioan Salomie, Simona Manole |
Fluent Calculus Based Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, pp. 230-231, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | William Blum, C.-H. Luke Ong |
The Safe Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 39-53, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Juliana de Melo Bezerra, Celso Massaki Hirata |
A Semantics for UML-RT using n-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 28-30 May 2007, Porto Alegre, RS, Brazil, pp. 75-82, 2007, IEEE Computer Society, 978-0-7695-2834-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Ozan Kahramanogullari |
Reducing Nondeterminism in the Calculus of Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 272-286, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Alexander J. Summers, Steffen van Bakel |
Approaches to Polymorphism in Classical Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 84-99, 2006, Springer, 3-540-33095-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget |
Sharing in the Weak Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 70-87, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | James Laird |
A Calculus of Coroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 882-893, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Kentaro Kikuchi |
A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 244-259, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Min Zhang, Guoqiang Li 0001, Yuxi Fu, Zhizhou Zhang 0003, Lin He 0007 |
Representation of the Signal Transduction with Aberrance Using Ipi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings, pp. 477-485, 2004, Springer, 3-540-24127-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Philippe Bidinger, Jean-Bernard Stefani |
The Kell Calculus: Operational Semantics and Type System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, pp. 109-123, 2003, Springer, 3-540-20491-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Karol Ostrovsky, K. V. S. Prasad, Walid Taha |
Towards a primitive higher order calculus of broadcasting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 2-13, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
calculi, semantics, concurrency, broadcasting, programming languages, ethernet |
34 | Alexandre Miquel |
The Implicit Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 344-359, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Alexander Scivos, Bernhard Nebel |
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Foundations of Geographic Information Science, International Conference, COSIT 2001, Morro Bay, CA, USA, September 19-23, 2001, Proceedings, pp. 431-446, 2001, Springer, 3-540-42613-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
languages of spatial relations, spatial and temporal reasoning, incomplete or imprecise spatial knowledge, ternary relation systems, constraint propagation, qualitative spatial reasoning |
34 | Jean-Marc Talbot |
On the Alternation-Free Horn Mu-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 418-435, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Guillaume Gillard |
A Formalization of a Concurrent Object Calculus up to alpha-Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 417-432, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Pedro A. de Matos, João P. Martins |
Non-situation Calculus and Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings, pp. 176-191, 2000, Springer, 3-540-67100-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Björn Victor, Joachim Parrow |
Concurrent Constraints in the Fusion Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 455-469, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Fairouz Kamareddine, Alejandro Ríos 0001 |
A Lambda-Calculus à la de Bruijn with Explicit Substitutions ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, pp. 45-62, 1995, Springer, 3-540-60359-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Jacques Garrigue, Hassan Aït-Kaci |
The Typed Polymorphic Label-Selective lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 35-47, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Roberto Di Cosmo, Delia Kesner |
A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings, pp. 645-656, 1993, Springer, 3-540-56939-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Mitsuhiro Okada |
Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, Portland, Oregon, USA, July 17-19, 1989, pp. 357-363, 1989, ACM, 0-89791-325-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Guillaume Feuillade, Sophie Pinchinat |
Modal Specifications for the Control Theory of Discrete Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(2), pp. 211-232, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus |
32 | C. Barry Jay |
The pattern calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(6), pp. 911-937, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Constructor calculus, pattern calculus, functional programming, pattern-matching, generic programming |
31 | Kohei Honda 0001, Nobuko Yoshida |
A uniform type structure for secure information flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 29(6), pp. 31, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
The ?-calculus, type-based program analysis, typing system, secure information flow |
31 | Antonino Salibra |
Topological incompleteness and order incompleteness of the lambda calculu. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(3), pp. 379-401, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Lambda theories, order and topological incompleteness, orderability/unorderability, partially ordered models, Lambda calculus, topological models |
31 | Nikolay V. Shilov 0002, Natalya Olegovna Garanina |
Polynomial Approximations for Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 395-400, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, complexity, Calculus |
31 | Ichiro Satoh |
A Formalism for Hierarchical Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000, pp. 165-172, 2000, IEEE Computer Society, 0-7695-0634-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
verification, mobile agents, specification, formal model, bisimulation, process calculus |
31 | Raymond K. Wong 0001, H. Lewis Chau |
Method Dispatching and Type Safety for Objects with Multiple Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (25) ![In: TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia, pp. 286-296, 1997, IEEE Computer Society, 0-8186-8485-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
objects with roles, type calculus, object-oriented databases |
31 | Maria Bulinska |
On the Complexity of Nonassociative Lambek Calculus with Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 93(1), pp. 1-14, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Nonassociative Lambek calculus, P-TIME decidability, Context-free grammar |
31 | Luca Alberucci, Alessandro Facchini |
On Modal µ -Calculus and Gödel-Löb Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 145-169, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Modal ?-Calculus, Gödel-Löb Logic, Fixpoint |
31 | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
Analyzing recursive programs using a fixed-point calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 211-222, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
recursive systems, model-checking, abstraction, logic, software verification, mu-calculus |
31 | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
A Relational Model of a Parallel and Non-deterministic lambda-Calculus. ![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. 107-121, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
denotational semantics, relational model, ?-calculus, non-determinism, parallel composition |
31 | Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana |
Positive Fork Graph Calculus. ![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. 152-163, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Positive relational calculi, fork algebras, graph calculus, completeness, decidability |
31 | Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda |
Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(1), pp. 22-28, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
artifitial intelligence, N?-labeled calculus, mathematical knowledge management, hybrid systems |
31 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
A compositional Petri net translation of general pi -calculus terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 429-450, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Compositional translation, Mobility, Petri nets, Process algebra, ?-Calculus |
31 | Hua Jiang, Xiang Li |
An Improved Algorithm for the Evaluation of Alternating Fixpoint Expressions in the mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 1245-1248, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
calculation complexity, NP and co-NP problem, Model Checking, mu-Calculus |
31 | Shuailiang Ma, Li Zhang, Jimei He |
Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, pp. 93-101, 2008, IEEE Computer Society, 978-0-7695-3302-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Unified Business Process Model, Verification, Workflow, Formal Modeling, Pi Calculus |
31 | Chengzhi Li, Almut Burchard, Jörg Liebeherr |
A network calculus with effective bandwidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 15(6), pp. 1442-1453, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
QoS, network calculus, effective bandwidth, statistical multiplexing |
31 | David A. Schmidt |
State-transition machines for lambda-calculus expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(3), pp. 319-332, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine |
31 | Kazushige Terui |
Light affine lambda calculus and polynomial time strong normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 46(3-4), pp. 253-280, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Light logics, Lambda calculus, Polynomial time |
31 | Onur Aydin, Nihan Kesim Cicekli, Ilyas Cicekli |
Automated Web Services Composition with the Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers, pp. 142-157, 2007, Springer, 978-3-540-87653-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Planning, Web Service Composition, Event Calculus |
31 | Georg Moser, Richard Zach |
The Epsilon Calculus and Herbrand Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 133-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity |
31 | Anna Zamansky, Nissim Francez, Yoad Winter |
A 'Natural Logic' inference system using the Lambek calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(3), pp. 273-295, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Natural logic, Inference, Normalization, Lambek calculus |
31 | Mikkel Bundgaard, Vladimiro Sassone |
Typed polyadic pi-calculus in bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 1-12, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Bigraphs, bisimulation congruences, foundation of computation, foundations of distributed and mobile systems, relative pushouts, subsorting, typed polyadic ?-calculus, sortings, semantics of concurrency |
31 | Roy Dyckhoff, Stéphane Lengrand |
LJQ: A Strongly Focused Calculus for Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 173-185, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
purification, call-by-value semantics, depth-bounded, guarded logic, Sequent calculus, focused |
31 | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio |
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 25-39, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Labeled @-calculus, time-concerned knowledge and belief, Shigaraki Kougen Railway accident |
31 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
Distributed Symbolic Model Checking for µ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 26(2), pp. 197-219, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model checking, distributed, hardware verification, symbolic, Mu-calculus |
31 | Olivier Hermant |
Semantic Cut Elimination in the Intuitionistic Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 221-233, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo |
31 | Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman |
Deploying pi-Calculus Technology in Inter-organizational Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, 6th International Conference, WAIM 2005, Hangzhou, China, October 11-13, 2005, Proceedings, pp. 538-555, 2005, Springer, 3-540-29227-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Inter-organizational ?-calculus Technology, Business Process Management, Channels, Levels |
31 | Yonggen Gu, Yuxi Fu, Guoqiang Li 0001 |
A Simple Process Calculus for the analysis of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 110-114, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal method, security protocol, security property, process calculus |
Displaying result #101 - #200 of 12317 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|