Similarity saturation for first order linear temporal logic with UNLESS
Work
Year: 1996
Type: book-chapter
Author Regimantas Pliuškevičius
Cites: 20
Cited by: 2
Related to: 10
FWCI:
Citation percentile (by year/subfield): 52.38
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed