Efficient detection of restricted classes of global predicates
Lecture notes in computer science1995pp. 303–317
Citations Over TimeTop 15% of 1995 papers
Related Papers
- → Predicate Change(2020)3 cited
- → The Degree of the Quasi-similarity and the Pseudo-metric between Predicate Formulae(2010)1 cited
- Modeling of First-Order Predicate Expression by Using Predicate/Transition System(2007)
- → The Symbols of Predicate Logic(2021)1 cited
- → Generalized predicate completion(2005)2 cited