Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paul-Andre Mellies
Game Semantics in String Diagrams
Related publications
93. Game Theory in Semantics and Pragmatics
Representing Verbal Semantics With Diagrams an Adaptation of the UML for Lexical Semantics
An Infinite-Game Semantics for Well-Founded Negation in Logic Programming
Annals of Pure and Applied Logic
Logic
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed Λ-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Squaring and Scripting the ESP Game: Trimming a GWAP to Deep Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- Dents of Computer Science
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Loop Diagrams in Boxes
Physical Review D
Solving String Constraints With Streaming String Transducers
Journal of Information Processing
String Art: Towards Computational Fabrication of String Images
Computer Graphics Forum
Computer Networks
Computer Graphics
Computer-Aided Design
Communications
