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

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

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

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

Understanding biology through 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.2603166 ◽

2014 ◽

Author(s):

Jasmin Fisher

Download Full-text

MSO queries on trees

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.2603137 ◽

2014 ◽

Cited By ~ 6

Author(s):

Katja Losemann ◽

Wim Martens

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

Beta reduction is invariant, indeed

Eilenberg-MacLane spaces in homotopy type theory

Hyper-Ackermannian bounds for pushdown vector addition systems

Anchored LTL separation

Weight monitoring with linear temporal logic

On the characterization of models of H

Infinite sequential games with real-valued payoffs

Citations for the test-of-time award from 1994

Understanding biology through logic

MSO queries on trees

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

Beta reduction is invariant, indeed

Eilenberg-MacLane spaces in homotopy type theory

Hyper-Ackermannian bounds for pushdown vector addition systems

Anchored LTL separation

Weight monitoring with linear temporal logic

On the characterization of models of H

Infinite sequential games with real-valued payoffs

Citations for the test-of-time award from 1994

Understanding biology through logic

MSO queries on trees

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