Daniël Leivant
- Logic, Language, Information and Computation
2007/01/01 by Daniël Leivant, Ruy de Queiroz · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- 22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015)
2016/07/07 by Valeria de Paiva, Larry Moss, Daniël Leivant +1 · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification
- Polymorphic type inference
1983/01/01 by Daniël Leivant · 1 citation
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Parallel Computing and Optimization Techniques