Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14

On the characterization of models of H

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2603111 ◽

2014 ◽

Author(s):

Flavien Breuvart

Download Full-text

Infinite sequential games with real-valued payoffs

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2603120 ◽

2014 ◽

Cited By ~ 8

Author(s):

Stéphane Le Roux ◽

Arno Pauly

Keyword(s):

Sequential Games

Download Full-text

Citations for the test-of-time award from 1994

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2616160 ◽

2014 ◽

Author(s):

Dexter Kozen

Download Full-text

Weight monitoring with linear temporal logic

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2603162 ◽

2014 ◽

Cited By ~ 17

Author(s):

Christel Baier ◽

Joachim Klein ◽

Sascha Klüppelholz ◽

Sascha Wunderlich

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Weight Monitoring

Download Full-text

Beta reduction is invariant, indeed

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2603105 ◽

2014 ◽

Cited By ~ 10

Author(s):

Beniamino Accattoli ◽

Ugo Dal Lago

Download Full-text

Eilenberg-MacLane spaces in homotopy type theory

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2603153 ◽

2014 ◽

Cited By ~ 12

Author(s):

Daniel R. Licata ◽

Eric Finster

Keyword(s):

Homotopy Type ◽

Type Theory ◽

Homotopy Type Theory

Download Full-text

Hyper-Ackermannian bounds for pushdown vector addition systems

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2603146 ◽

2014 ◽

Cited By ~ 8

Author(s):

Jérôme Leroux ◽

M. Praveen ◽

Grégoire Sutre

Keyword(s):

Vector Addition

Download Full-text

Anchored LTL separation

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2603139 ◽

2014 ◽

Author(s):

Grgur Petric Maretić ◽

Mohammad Torabi Dashti ◽

David Basin

Download Full-text

Subclasses of presburger arithmetic and the weak EXP hierarchy

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2603092 ◽

2014 ◽

Cited By ~ 14

Author(s):

Christoph Haase

Keyword(s):

Presburger Arithmetic

Download Full-text

Memoryful geometry of interaction

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 ◽

10.1145/2603088.2603124 ◽

2014 ◽

Cited By ~ 16

Author(s):

Naohiko Hoshino ◽

Koko Muroya ◽

Ichiro Hasuo

Download Full-text

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

On the characterization of models of H

Infinite sequential games with real-valued payoffs

Citations for the test-of-time award from 1994

Weight monitoring with linear temporal logic

Beta reduction is invariant, indeed

Eilenberg-MacLane spaces in homotopy type theory

Hyper-Ackermannian bounds for pushdown vector addition systems

Anchored LTL separation

Subclasses of presburger arithmetic and the weak EXP hierarchy

Memoryful geometry of interaction

Export Citation Format

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

On the characterization of models of H

Infinite sequential games with real-valued payoffs

Citations for the test-of-time award from 1994

Weight monitoring with linear temporal logic

Beta reduction is invariant, indeed

Eilenberg-MacLane spaces in homotopy type theory

Hyper-Ackermannian bounds for pushdown vector addition systems

Anchored LTL separation

Subclasses of presburger arithmetic and the weak EXP hierarchy

Memoryful geometry of interaction

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14
Latest Publications