Theoretical Computer Science
Theoretical Computer Science - International Joint Conference on Theory and Practice of Software Development, P
Implicative formulae in the proofs of computations' analogy
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Computational interpretations of linear logic
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
Event Spaces and their Linear Logic
AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
From Petri Nets to Linear Logic
Category Theory and Computer Science
Linear Logic and Interference Control
Proceedings of the 4th International Conference on Category Theory and Computer Science
Decidability of reachability in vector addition systems (Preliminary Version)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
Resource-conscious AI planning with conjunctions and disjunctions
Acta Cybernetica
Evolvable concurrent processes
Computer Standards & Interfaces - Special issue: Adaptable software architectures
A model of runtime transformation for distributed systems based on directed acyclic graph model
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Adaptable system/Software architectures
Symbolic negotiation revisited
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
From web services annotation and composition to web services domain analysis
International Journal of Metadata, Semantics and Ontologies
Symbolic negotiation with linear logic
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Partial deduction for linear logic—the symbolic negotiation perspective
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |