Cyclic Proofs with Ordering Constraints
Work
Year: 2017
Type: book-chapter
Author Sorin Stratulat
Institutions Laboratoire Lorrain de Recherche en Informatique et ses Applications, Laboratoire d'Informatique en Images et Systèmes d'Information
Cites: 19
Cited by: 6
Related to: 10
FWCI: 0.48
Citation percentile (by year/subfield): 81.56
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green