Anatoli Degtyarev

From MaRDI portal
Person:671658

Available identifiers

zbMath Open degtyarev.anatoli-iMaRDI QIDQ671658

List of research outcomes

PublicationDate of PublicationType
Consistency and semantics of equational definitions over predefined algebras2023-03-09Paper
What you always wanted to know about rigid E-unification2019-10-08Paper
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics2015-10-02Paper
On Arbitrary Selection Strategies for Basic Superposition2008-10-30Paper
Regular Derivations in Basic Superposition-Based Calculi2008-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44715362004-07-28Paper
Stratified resolution2003-08-25Paper
On nature and structure of atmospheric circulation anomalies in opposite seasons2003-01-01Paper
https://portal.mardi4nfdi.de/entity/Q27513552002-08-27Paper
https://portal.mardi4nfdi.de/entity/Q27513622002-07-25Paper
https://portal.mardi4nfdi.de/entity/Q27515452001-10-21Paper
https://portal.mardi4nfdi.de/entity/Q27234322001-07-05Paper
https://portal.mardi4nfdi.de/entity/Q47903982001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q49384162000-06-22Paper
What you always wanted to know about rigid \(E\)-unification1998-08-30Paper
https://portal.mardi4nfdi.de/entity/Q38387671998-08-13Paper
A note on semantics of logic programs with equality based on complete sets of E-unifiers1997-11-10Paper
https://portal.mardi4nfdi.de/entity/Q31292971997-04-27Paper
The undecidability of simultaneous rigid E-unification1997-02-27Paper
Automatic theorem proving. II1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37828361986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37828371986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33098051982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32144391973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56837201973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56590711972-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Anatoli Degtyarev