2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Latest Publications

TOTAL DOCUMENTS

98
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By IEEE

9781509030187
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Linear combinations of unordered data vectors

2017 ◽  
Author(s):  
Piotr Hofman ◽  
Jerome Leroux ◽  
Patrick Totzke
Keyword(s):  
Linear Combinations

scholarly journals The continuity of monadic stream functions

2017 ◽  
Author(s):  
Venanzio Capretta ◽  
Jonathan Fowler
Keyword(s):  
Stream Functions

Riesz Modal logic for Markov processes

2017 ◽  
Author(s):  
Matteo Mio ◽  
Robert Furber ◽  
Radu Mardare
Keyword(s):  
Modal Logic ◽  
Markov Processes

scholarly journals Fully abstract encodings of λ-calculus in HOcore through abstract machines

2017 ◽  
Author(s):  
Malgorzata Biernacka ◽  
Dariusz Biernacki ◽  
Serguei Lenglet ◽  
Piotr Polesiuk ◽  
Damien Pous ◽  
...  
Keyword(s):  
Abstract Machines

scholarly journals A crevice on the Crane Beach: Finite-degree predicates

2017 ◽  
Author(s):  
Michael Cadilhac ◽  
Charles Paperman
Keyword(s):  
Finite Degree

scholarly journals The Weisfeiler-Leman dimension of planar graphs is at most 3

2017 ◽  
Author(s):  
Sandra Kiefer ◽  
Ilia Ponomarenko ◽  
Pascal Schweitzer
Keyword(s):  
Planar Graphs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document