Symbolic Representation of Algorithmic Game Semantics

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.96.8 ◽

2012 ◽

Vol 96 ◽

pp. 99-112 ◽

Cited By ~ 2

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Symbolic Representation ◽

Game Semantics ◽

Algorithmic Game

Download Full-text

Algorithmic Game Semantics and Static Analysis

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/11547662_1 ◽

2005 ◽

pp. 1-1 ◽

Cited By ~ 1

Author(s):

Samson Abramsky

Keyword(s):

Static Analysis ◽

Game Semantics ◽

Algorithmic Game

Download Full-text

Algorithmic Game Semantics

Proof and System-Reliability ◽

10.1007/978-94-010-0413-8_2 ◽

2002 ◽

pp. 21-47 ◽

Cited By ~ 7

Author(s):

Samson Abramsky

Keyword(s):

Game Semantics ◽

Algorithmic Game

Download Full-text

Symbolic Representation in Kant's Practical Philosophy

10.1017/cbo9780511498022 ◽

2003 ◽

Cited By ~ 10

Author(s):

Heiner Bielefeldt

Keyword(s):

Symbolic Representation ◽

Practical Philosophy

Download Full-text

The Symbolic Representation of the Female Body in the Poems by Bertolt Brecht

International Conference on Humanities, Literature and Management (ICHLM'15) Jan. 9-10, 2015 Dubai (UAE) ◽

10.15242/icehm.ed0115091 ◽

2015 ◽

Keyword(s):

Female Body ◽

Bertolt Brecht ◽

Symbolic Representation

Download Full-text

Nominal Game Semantics

10.1561/9781680831078 ◽

2016 ◽

Cited By ~ 1

Author(s):

Andrzej S. Murawski ◽

Nikos Tzevelekos

Keyword(s):

Game Semantics

Download Full-text

Symbolic representation for process measurement control functions and instrumentation

10.3403/00099818u ◽

2015 ◽

Keyword(s):

Symbolic Representation ◽

Process Measurement ◽

Control Functions ◽

Measurement Control

Download Full-text

Symbolic representation for process measurement control functions and instrumentation

10.3403/00099818 ◽

1984 ◽

Keyword(s):

Symbolic Representation ◽

Process Measurement ◽

Control Functions ◽

Measurement Control

Download Full-text

Symbolic representation for process measurement control functions and instrumentation

10.3403/00099806u ◽

2015 ◽

Keyword(s):

Symbolic Representation ◽

Process Measurement ◽

Control Functions ◽

Measurement Control

Download Full-text

Welded, brazed and soldered joints. Symbolic representation on drawings

10.3403/00496445 ◽

1995 ◽

Keyword(s):

Symbolic Representation

Download Full-text

Tracked Changes. Welding and allied processes. Symbolic representation on drawings. Welded joints

10.3403/30050628u ◽

2019 ◽

Keyword(s):

Welded Joints ◽

Symbolic Representation

Download Full-text