Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Encoding Hamiltonian circuits into multiplicative linear logic
Theoretical Computer Science
Theoretical Computer Science
A Resource Sensitive Interpretation of Lexical Functional Grammar
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Proof Nets and the Complexity of Processing Center Embedded Constructions
Journal of Logic, Language and Information
A study of interconnections between rough and 3-valued Lukasiewicz logics
Fundamenta Informaticae
Deductive Parsing of Visual Languages
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
On Mixing Deduction and Substitution in Lambek Categorial Grammars
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Proof-Search and Countermodel Generation in Propositional BI Logic
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Quantitative Semantics Revisited
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Building Models of Linear Logic
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Proofnets and Context Semantics for the Additives
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Glueing and orthogonality for models of linear logic
Theoretical Computer Science - Category theory and computer science
Towards a semantics of proofs for non-commutative logic: multiplicatives and additives
Theoretical Computer Science - Linear logic
Handsome proof-nets: perfect matchings and cographs
Theoretical Computer Science - Linear logic
Evaluating real-time software specification languages
Computer Standards & Interfaces
Mathematical Structures in Computer Science
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
Mathematical Structures in Computer Science
Non-commutative logic II: sequent calculus and phase semantics
Mathematical Structures in Computer Science
Minimality of the correctness criterion for multiplicative proof nets
Mathematical Structures in Computer Science
Poset-valued sets or how to build models for linear logics
Theoretical Computer Science - Mathematical foundations of programming semantics
Stratified coherence spaces: a denotational semantics for light linear logic
Theoretical Computer Science - Implicit computational complexity
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
P#: a concurrent prolog for the .NET framework
Software—Practice & Experience
Rigid Lambek grammars are not learnable from strings
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
Security protocols: from linear to classical logic by abstract interpretation
Information Processing Letters
From proof-nets to bordisms: the geometric meaning of multiplicative connectives
Mathematical Structures in Computer Science
Intuitionistic phase semantics is almost classical
Mathematical Structures in Computer Science
Specifying distributed trust management in LolliMon
Proceedings of the 2006 workshop on Programming languages and analysis for security
Sequential algorithms and strongly stable functions
Theoretical Computer Science - Game theory meets theoretical computer science
Geometrical semantics for linear logic (multiplicative fragment)
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Theoretical Computer Science
Mathematical Structures in Computer Science
Flow Analysis, Linearity, and PTIME
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Separation Logic Contracts for a Java-Like Language with Fork/Join
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Modeling biochemical pathways using an artificial chemistry
Artificial Life
Light Linear Logic with Controlled Weakening
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Plans, Actions and Dialogues Using Linear Logic
Journal of Logic, Language and Information
Resource Graphs and Countermodels in Resource Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Permutative additives and exponentials
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Categorical approaches to non-commutative fuzzy logic
Fuzzy Sets and Systems
Rewriting systems for the surface classification theorem
Mathematical Structures in Computer Science
Modelling Multilateral Negotiation in Linear Logic
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Linear Logic for Non-Linear Storytelling
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A simple class of Kripke-style models in which logic and computation have equal standing
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Collaborative Planning with Confidentiality
Journal of Automated Reasoning
Linear logic as a tool for planning under temporal uncertainty
Theoretical Computer Science
Theoretical Computer Science
Functorial boxes in string diagrams
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Some new approaches in functional programming based on categories
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
A Study of Interconnections Between Rough and 3-Valued Łukasiewicz Logics
Fundamenta Informaticae
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Journal of Logic, Language and Information
Logical foundations of secure resource management in protocol implementations
POST'13 Proceedings of the Second international conference on Principles of Security and Trust
Modular, higher-order cardinality analysis in theory and practice
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
A proof-theoretical view of collective rationality
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |