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
Implicational Rewriting Tactics in HOL	2014-09-08	Paper
Formal Verification of Optical Quantum Flip Gate	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
A Decidable Class of Nested Iterated Schemata	2010-09-14	Paper
RegSTAB: A SAT Solver for Propositional 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vincent Aravantinos