Showing
1 - 7
results of
7
for search '
Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Author
Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)
Search Results
Showing
1 - 7
results of
7
for search '
Modeling and Verification of Distributed Algorithms and Systems (VERIDIS)
'
, query time: 0.07s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
A fine-grained hierarchy of hard problems in the separated fragment
Get access
Get access
Get access
Get access
Gröbner Bases for Boolean Function Minimization
Get access
Get access
Get access
Gröbner Bases for Boolean Function Minimization
Get access
Get access
Get access
Foundational nonuniform (Co)datatypes for higher-order logic
Get access
Get access
Get access
Get access
Foundational nonuniform (Co)datatypes for higher-order logic
Get access
Get access
Get access
Get access
A fine-grained hierarchy of hard problems in the separated fragment
Get access
Get access
Get access
Get access
Foundational nonuniform (Co)datatypes for higher-order logic
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Related Subjects
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Boolean Function Synthesis
Gröbner Bases
Multi-level Logic Optimization
Multi-level Logic Optimization Boolean Function Synthesis Gröbner Bases
Loading...