Implicative formulae in the proofs of computations' analogy
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
ACM SIGACT News
Multiset rewriting and the complexity of bounded security protocols
Journal of Computer Security
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Encoding of Planning Problems and Their Optimizations in Linear Logic
Applications of Declarative Programming and Knowledge Management
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
Theoretical Computer Science
Evidential reasoning in a categorial perspective: conjunction and disjunction of belief functions
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Hi-index | 0.00 |