# Anatoli Degtyarev

According to our database

Collaborative distances:

^{1}, Anatoli Degtyarev authored at least 36 papers between 1992 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2014

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics.

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2006

ACM Trans. Comput. Log., 2006

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005

Inf. Comput., 2005

Proceedings of the Logic for Programming, 2005

2003

J. Symb. Comput., 2003

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Proceedings of the Logic for Programming, 2003

2002

Stud Logica, 2002

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Proceedings of the Logic for Programming, 2002

System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities.

Proceedings of the Intelligent Information Systems 2002, 2002

2001

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Herbrand's Theorem and Equational Reasoning: Problems and Solutions.

Proceedings of the Current Trends in Theoretical Computer Science, 2001

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Decidability and complexity of simultaneous rigid E-unification with one variable and related results.

Theor. Comput. Sci., 2000

Proceedings of the Automated Deduction, 2000

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

1998

J. Autom. Reason., 1998

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

1996

Theor. Comput. Sci., 1996

A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers.

J. Log. Program., 1996

Herbrand's Theorem and Equational Reasoning: Problems and Solutions.

Bull. EATCS, 1996

Proceedings of the Proceedings, 1996

Proceedings of the Proceedings, 1996

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

General Connections via Equality Elimination.

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

A New Procedural Interpretation of Horn Clauses with Equality.

Proceedings of the Logic Programming, 1995

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1993

Completeness of Equational Definitions over Predefined Algebras.

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Proceedings of the Logic Programming and Automated Reasoning, 1992

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992