|
|
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 |
14 | Antonio Di Nola |
Non-Archimedean Models of Lukasiewicz Logic. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
Lukasiewicz logic, nonarchimedean algebraic models, infinite-valued sentential calculus, Boolean functions, multivalued logic, Boolean algebra, MV-algebra |
14 | Matthias Baaz, Christian G. Fermüller |
Intuitionistic Counterparts of Finitely-Valued Logics. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures |
14 | Boris A. Romov |
Completeness Theory for Vector Partial Multiple-Valued Logic Functions. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection |
14 | Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns |
Performance modeling of parallel systems with flexible precision. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
flexible precision, low-precision compile-time methods, high-cost high-precision methods, performance prediction technique, model reduction calculus, simulation, parallel processing, static analysis, performance modeling, performance prediction, program compilers, queueing networks, software performance evaluation, parallel systems, task graphs, system monitoring, simulation languages, simulation languages, modeling formalisms |
14 | Kaori Yoshida, Torao Yanaru |
A proposal of emotional memory model. |
ANNES |
1995 |
DBLP DOI BibTeX RDF |
neural network, stability, satisfiability problem, Lagrangian method, propositional calculus |
14 | Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra |
Analyzing the logical structure of data flow diagrams in software documents. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram |
14 | David R. Lester, Sava Mintchev |
Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
Congruence Proof, Lambda Calculus, Denotational Semantics, Theorem Prover, Compiler Correctness |
14 | Robert Harper 0001, Furio Honsell, Gordon D. Plotkin |
A Framework for Defining Logics. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
proof checking, interactive theorem proving, typed lambda calculus, formal systems |
14 | Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen |
Specifying and Verifying Requirements of Real-Time Systems. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
specification of requirements, verification of design, real-time interval logic, top-level design, synchronous events, real-time systems, real-time systems, formal specification, distributed computation, formal verification, temporal logic, sensor, mathematical model, actuator, duration calculus, control law |
14 | Roberto M. Amadio, Luca Cardelli |
Subtyping Recursive Types. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
partial-equivalence relations, regular trees, tree orderings, type equivalence, typechecking algorithm, lambda-calculus, subtyping, recursive types, coercions |
14 | Marc-Michel Corsini, Alain Griffault, Antoine Rauzy |
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
Key-words Constraints Languages, Transition Systems, calculus, Mutual Exclusion Algorithms |
14 | Uday S. Reddy |
Higher-order Aspects of Logic Programming. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
Higher-order features, semantics, functional programming, types, lambda calculus, concurrent logic programming, logic variables |
14 | Charles Rich, Yishai A. Feldman |
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
Programmer's Apprentice, Cake, truth maintenance, Boolean constraint propagation, Plan Calculus, Requirements Apprentice, Debugging Assistant, software engineering, knowledge representation, knowledge representation, software development, software tools, reasoning, types, inference mechanisms, frames, algebra, equality, software development tools |
14 | Brendan P. Mahony, Ian J. Hayes |
A Case-Study in Timed Refinement: A Mine Pump. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness |
14 | Roberto Maiocchi, Barbara Pernici, Federico Barbic |
Automatic Deduction of Temporal Information. |
ACM Trans. Database Syst. |
1992 |
DBLP DOI BibTeX RDF |
meta-level temporal assertions, temporal modalities, time calculus, events, temporal database, propositions |
14 | Olivier Danvy |
Back to Direct Style. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
Direct style transformation, continuation-passing style transformation, Scheme, calculus |
14 | Dave D. Straube, M. Tamer Özsu |
Queries and Query Processing in Object-Oriented Database Systems. |
ACM Trans. Inf. Syst. |
1990 |
DBLP DOI BibTeX RDF |
object calculus, query transformation rules, object-oriented databases, object algebra |
14 | Michael V. Mannino, Injun Choi, Don S. Batory |
The Object-Oriented Functional Data Language. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
object-oriented functional data language, interactive strongly typed database programming language, O/sup 2/FDL, equational notation, strong typing, type restrictions, type variables, function interfaces, monotonic subtype rule, function redefinition, extended lambda -calculus, software engineering, software engineering, object oriented programming, object-oriented programming, functional programming, inheritance, operational semantics, object-oriented languages, relational algebra, encapsulation, high level languages, denotational semantics |
14 | Brent Hailpern, Tien Huynh, György E. Révész |
Comparing Two Functional Programming Systems. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
functional programming systems, graph reduction interpreter, DEL-style intermediate instruction set architecture, performance evaluation, benchmarks, functional programming, lambda calculus, functional languages, high level languages, execution times, performance comparison, FP, evaluation strategies, implementation language |
14 | Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson |
CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors |
14 | Warren M. Kruegger, Keith Phillips |
The Geometry of Differential Operators with Application to Image Processing. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1989 |
DBLP DOI BibTeX RDF |
constant ascent rate, second-order nonlinear differential operators, symbolic descriptors, asymptotic curves, straight line segments, inflections of mean curvature, vector calculus, pattern recognition, pattern recognition, image processing, picture processing, picture processing, interpolation, B-spline, grammars, geometry, differential geometry, edge detectors, parse tree |
14 | Martin Gogolla |
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
Theory of data bases, relational completeness, data model, abstract data type, formal semantics, integrity constraint, entity-relationship model, calculus, aggregate function |
14 | David Gray |
The Formal Specification of a Small Bookshop Information System. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
small bookshop information system, scheme calculus, software engineering, formal specification, programming theory, set theory |
14 | Ahmed Bouajjani, Susanne Graf, Joseph Sifakis |
A logig for the description of behaviours and properties of concurrent systems. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
compositional proof methods, process algebra, expressivity, calculus, Program logic, adequacy |
14 | Rafael Dueire Lins |
A New Formula for the Execution of Categorial Combinators. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
Categorical Combinators, complexity, functional programming, lambda calculus |
14 | John J. Cannon |
Computers in group theory: a survey. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
character tables, commutator calculus, coset enumeration, nonnumerical programming, subgroup lattices, topology, survey, symbol manipulation, group theory, discrete mathematics, permutation groups, Abelian groups, automorphism groups, crystallography |
13 | Fernando Ferreira 0001, Gilda Ferreira |
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
commuting conversions, predicative quantifiers, Natural deduction |
13 | Carsten Schürmann 0001 |
The Twelf Proof Assistant. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jesper Bengtson, Joachim Parrow |
Psi-calculi in Isabelle. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jeremy E. Dawson, Alwen Tiu |
Formalising Observer Theory for Environment-Sensitive Bisimulation. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Naoki Kobayashi 0001 |
Types and Recursion Schemes for Higher-Order Program Verification. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Min Yuan, Zhiqiu Huang, Fangxiong Xiao |
Modeling and Analysis of Flexible Transaction for Web Services. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Thomas T. Hildebrandt, Hugo A. López 0001 |
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming |
13 | Ping Hou, Marc Denecker |
A Deductive System for FO(ID) Based on Least Fixpoint Logic. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Ronald Garcia, Andrew Lumsdaine |
Toward foundations for type-reflective metaprogramming. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
semantics, c++, reflection, metaprogramming |
13 | Matthias Horbach, Christoph Weidenbach |
Decidability Results for Saturation-Based Model Building. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
13 | George Metcalfe, Nicola Olivetti |
Proof Systems for a Gödel Modal Logic. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jens Chr. Godskesen, Sebastian Nanz |
Mobility Models and Behavioural Equivalence for Wireless Networks. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
13 | David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra |
The Orc Programming Language. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Gordon D. Plotkin |
Adequacy for Infinitary Algebraic Effects (Abstract). |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider |
Safe Runtime Verification of Real-Time Properties. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Lionel Elie Mamane, Herman Geuvers, James McKinna |
A Logically Saturated Extension of lambdaµµ. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Jiajie Wu, Farong Zhong, Yufang Qiu |
A Dynamic Compensation Mechanism for Web Transactions. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
13 | John Seiffertt, Suman Sanyal, Donald C. Wunsch |
Hamilton-Jacobi-Bellman Equations and Approximate Dynamic Programming on Time Scales. |
IEEE Trans. Syst. Man Cybern. Part B |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Andrey Paskevich |
Connection Tableaux with Lazy Paramodulation. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Connection tableaux, Lazy paramodulation, Basic ordered paramodulation, First-order logic with equality |
13 | Farhad Mehta |
A Practical Approach to Partiality - A Proof Based Approach. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Carlos Olarte, Frank D. Valencia |
Universal concurrent constraint programing: symbolic semantics and applications to security. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
symbolic semantics, security, mobility, concurrent constraint programming |
13 | Han Gao 0002, Chiara Bodei, Pierpaolo Degano |
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Michele Bugliesi, Riccardo Focardi |
Language Based Secure Communication. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness and Decidability of Higher-Order Process Calculi. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages |
13 | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
Lazy Behavioral Subtyping. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson |
Extended pi-Calculi. |
ICALP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci |
A Category of Explicit Fusions. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Gérard Boudol |
Typing Safe Deallocation. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Min Jiang 0005, Changle Zhou, Guoqing Wu, Fan Zhang |
A CSP-Based Approach for Solving Parity Game. |
FAW |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Zhongyu Chen, Huaikou Miao, Bo Song |
A New Formal Modeling Approach for Requirement. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo |
Checking Correctness of Transactional Behaviors. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Service Oriented Architectures, Coordination, Event Notification, Observational Equivalence |
13 | Bogdan Aman, Gabriel Ciobanu |
Timed Mobile Ambients for Network Protocols. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Kaustuv Chaudhuri, Dale Miller 0001, Alexis Saurin |
Canonical Sequent Proofs via Multi-Focusing. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Horbach, Christoph Weidenbach |
Superposition for Fixed Domains. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Fabio Gadducci, Giacoma Valentina Monreale |
A Decentralized Implementation of Mobile Ambients. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Frank Dylla, Jan Oliver Wallgrün |
Qualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control. |
J. Intell. Robotic Syst. |
2007 |
DBLP DOI BibTeX RDF |
conceptual neighborhood, model-based relaxation, qualitative spatial reasoning |
13 | Leon Horsten, Philip D. Welch |
The Undecidability of Propositional Adaptive Logic. |
Synth. |
2007 |
DBLP DOI BibTeX RDF |
Dynamic logic, Undecidability, Paraconsistent logic, Adaptive logic |
13 | Aleksandra Kislak-Malinowska |
On the Logic of beta -pregroups. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
?-pregroup, normalization theorem, cut elimination, Pregroup |
13 | Atsushi Ohori |
A proof theory for machine code. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Curry-Howard isomorphism |
13 | Tiansi Dong |
Towards a Spatial Representation for the Meta Cognitive Process Layer of Cognitive Informatics. |
IEEE ICCI |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Stephan Ellner, Walid Taha |
The semantics of graphical languages. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Dimitris Mostrous, Nobuko Yoshida |
Two Session Typing Systems for Higher-Order Mobile Processes. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Takaaki Tateishi, Naoshi Tabuchi |
Secure Behavior of Web Browsers to Prevent Information Leakages. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa |
A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Paul Brauner, Clément Houtmann, Claude Kirchner |
Principles of Superdeduction. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Kristian Støvring, Søren B. Lassen |
A complete, co-inductive syntactic theory of sequential control and state. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
mutable references, continuations, bisimulation |
13 | Adrian Francalanza, Matthew Hennessy |
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Marco Carbone, Kohei Honda 0001, Nobuko Yoshida |
Structured Communication-Centred Programming for Web Services. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
13 | José Espírito Santo, Silvia Ghilezan, Jelena Ivetic |
Characterising Strongly Normalising Intuitionistic Sequent Terms. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Boris Motik, Robert D. C. Shearer, Ian Horrocks 0001 |
Optimized Reasoning in Description Logics Using Hypertableaux. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Samuli Heilala, Brigitte Pientka |
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Ali Mili 0001 |
A Refinement Based Framework for Computing Loop Behavior. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Sam Bakhtiar Sanjabi, C.-H. Luke Ong |
Fully abstract semantics of additive aspects by translation. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, translation, aspects, game semantics, full abstraction |
13 | Guillaume Burel, Claude Kirchner |
Cut Elimination in Deduction Modulo by Abstract Completion. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
Knuth-Bendix completion, automated deduction and interactive theorem proving, proof ordering, abstract canonical system, cut elimination, deduction modulo |
13 | Manfred Schmidt-Schauß |
Correctness of Copy in Calculi with Letrec. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Lionel Vaux |
On Linear Combinations of lambda -Terms. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Javier Cámara, Gwen Salaün, Carlos Canal |
Run-time Composition and Adaptation of Mismatching Behavioural Transactions. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara |
Disciplining Orchestration and Conversation in Service-Oriented Computing. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
13 | X. Briand |
Dynamic Control with Indistinguishable Events. |
Discret. Event Dyn. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Games, Control, Discrete event systems, Tree automata, Partial information |
13 | Kai Brünnler |
Cut Elimination inside a Deep Inference System for Classical Predicate Logic. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
cut elimination, first-order predicate logic, deep inference |
13 | Norihiro Kamide |
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. |
J. Log. Lang. Inf. |
2006 |
DBLP DOI BibTeX RDF |
electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis |
13 | Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú |
On the infinite-valued Lukasiewicz logic that preserves degrees of truth. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B50, 03G20, 03B22, 06D35 |
13 | Avik Chaudhuri, Martín Abadi |
Secrecy by Typing and File-Access Control. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction |
13 | René Rydhof Hansen, Christian W. Probst, Flemming Nielson |
Sandboxing in myKlaim. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Andrey Paskevich |
Connection Tableaux with Lazy Paramodulation. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Pieter J. L. Cuijpers, A. V. Fyukov |
Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Slawomir Lasota 0001, David Nowak, Yu Zhang |
On Completeness of Logical Relations for Monadic Types. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia |
On Recursion, Replication and Scope Mechanisms in Process Calculi. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
A WSDL-Based Type System for WS-BPEL. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Ehrhard, Laurent Regnier |
Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Shi Zhang, Linpeng Huang |
Formalizing Class Dynamic Software Updating. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Rohit Chadha, Paulo Mateus, Amílcar Sernadas |
Reasoning About States of Probabilistic Sequential Programs. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Genevès, Nabil Layaïda |
Comparing XML path expressions. |
ACM Symposium on Document Engineering |
2006 |
DBLP DOI BibTeX RDF |
analysis, experimentation, XPath |
|
|