Anatoli Degtyarev

From MaRDI portal
Revision as of 06:27, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:671658

Available identifiers

zbMath Open degtyarev.anatoli-iMaRDI QIDQ671658

List of research outcomes





PublicationDate of PublicationType
Simultaneous rigid E-unification is undecidable2024-06-21Paper
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

This page was built for person: Anatoli Degtyarev

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:671658&oldid=7595711"
Powered by MediaWiki