IEEE - Institute of Electrical and Electronics Engineers, Inc. - The Structure of First-Order Causality

2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS)

Author(s): Mimram, S.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Los Angeles, California, USA, USA
Conference Date: 11 August 2009
Page(s): 212 - 221
ISBN (Paper): 978-0-7695-3746-7
ISSN (Paper): 1043-6871
DOI: 10.1109/LICS.2009.19
Regular:

Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing dependencies... View More

Advertisement