Zurab Khasidashvili

Available identifiers

zbMath Open khasidashvili.zurab-oMaRDI QIDQ526773

List of research outcomes

Publication	Date of Publication	Type
Relative normalization in Deterministic Residual Structures	2023-02-23	Paper
Optimal normalization in orthogonal term rewriting systems	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5015097	2021-12-08	Paper
The geometry of orthogonal reduction spaces	2018-07-04	Paper
Symbolic trajectory evaluation for word-level verification: theory and implementation	2017-05-15	Paper
Discrete Normalization and Standardization in Deterministic Residual Structures	2017-01-19	Paper
Predicate Elimination for Preprocessing in First-Order Theorem Proving	2016-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q2848685	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2845511	2013-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q2844072	2013-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q2843610	2013-08-23	Paper
EPR-Based Bounded Model Checking at Word Level	2012-09-05	Paper
On Formal Equivalence Verification of Hardware	2008-06-05	Paper
Hardware and Software, Verification and Testing	2007-02-12	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
The conflict-free reduction geometry	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4808737	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4447252	2004-02-16	Paper
Perpetuality and uniform normalization in orthogonal rewrite systems	2003-01-14	Paper
Relating conflict-free stable transition and event models via redex families	2002-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2778875	2002-03-21	Paper
On the longest perpetual reductions in orthogonal expression reduction systems	2002-03-03	Paper
Stable results and relative normalization	2001-08-16	Paper
A syntactical analysis of normalization	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4501151	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4699303	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4954449	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4942642	2000-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4263802	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4222804	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4364379	1998-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q3202988	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3356291	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3358241	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3358242	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3199388	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3199389	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3199390	1988-01-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: Zurab Khasidashvili