Author Search Results

Select result number 1
1

A fine-grained hierarchy of hard problems in the separated fragment

by Voigt, Marco
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 2
2

Gröbner Bases for Boolean Function Minimization

by Faroß, Nicolas, Schwarz, Simon
Published 1481
Contributors: “...Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)...”

Get access
Get access
Get access

Conference Object
Select result number 3
3

Gröbner Bases for Boolean Function Minimization

by Faroß, Nicolas, Schwarz, Simon
Published 1481
Contributors: “...Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)...”

Get access
Get access
Get access

Conference Object
Select result number 4
4

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 5
5

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 6
6

A fine-grained hierarchy of hard problems in the separated fragment

by Voigt, Marco
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 7
7

Foundational nonuniform (Co)datatypes for higher-order logic

by Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei, Traytel, Dmitriy
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)...”

Get access
Get access
Get access
Get access

Conference Object