Victor Vianu

1. VERIFAS: A Practical Verifier for Artifact Systems
   2017/05/29 by Yuliang Li, Alin Deutsch, Li, Yuliang +3 · 1 citation
   Business, Management and Accounting · Engineering · Computer Science · #Business Process Modeling and Analysis #Manufacturing Process and Optimization #Semantic Web and Ontologies
2. Fixpoint extensions of first-order logic and datalog-like languages
   2003/01/07 by Serge Abiteboul, Victor Vianu · 2 citations
   Computer Science · #Advanced Database Systems and Queries #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge