Vincent Aravantinos

Available identifiers

zbMath Open aravantinos.vincentMaRDI QIDQ475382

List of research outcomes

Publication	Date of Publication	Type
Formal analysis of optical systems	2014-11-26	Paper
Formal Verification of Optical Quantum Flip Gate	2014-09-08	Paper
Implicational Rewriting Tactics in HOL	2014-09-08	Paper
Formalization of Complex Vectors in Higher-Order Logic	2014-08-07	Paper
On the Formal Analysis of Geometrical Optics in HOL	2013-09-20	Paper
A resolution calculus for first-order schemata	2013-08-26	Paper
Formal Reasoning about Classified Markov Chains in HOL	2013-08-07	Paper
Schemata of SMT-problems	2011-07-01	Paper
Decidability and undecidability results for propositional schemata	2011-05-04	Paper
Simplified handling of iterated term schemata	2011-01-12	Paper
RegSTAB: A SAT Solver for Propositional Schemata	2010-09-14	Paper
A decidable class of nested iterated schemata	2010-09-14	Paper
Complexity of the satisfiability problem for a class of propositional schemata	2010-05-26	Paper
A Schemata Calculus for Propositional Logic	2009-12-01	Paper

Research outcomes over time

This page was built for person: Vincent Aravantinos