×

zbMATH — the first resource for mathematics

Komendantskaya, Ekaterina

Compute Distance To:
Author ID: komendantskaya.ekaterina Recent zbMATH articles by "Komendantskaya, Ekaterina"
Published as: Komendantskaya, Ekaterina
External Links: MGP
Documents Indexed: 26 Publications since 2007

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 75 times in 37 Documents Cited by Year
Inductive and coinductive components of corecursive functions in Coq. Zbl 1279.68285
Bertot, Yves; Komendantskaya, Ekaterina
8
2008
Coalgebraic logic programming: from semantics to implementation. Zbl 1344.68044
Komendantskaya, Ekaterina; Power, John; Schmidt, Martin
8
2016
Proof-pattern recognition and lemma discovery in ACL2. Zbl 1407.68436
Heras, Jónathan; Komendantskaya, Ekaterina; Johansson, Moa; Maclean, Ewen
7
2013
Coalgebraic derivations in logic programming. Zbl 1247.68044
Komendantskaya, Ekaterina; Power, John
6
2011
Coalgebraic semantics for parallel derivation strategies in logic programming. Zbl 1308.68029
Komendantskaya, Ekaterina; McCusker, Guy; Power, John
6
2011
Operational semantics of resolution and productivity in Horn clause logic. Zbl 1362.68048
Fu, Peng; Komendantskaya, Ekaterina
5
2017
Recycling proof patterns in Coq: case studies. Zbl 1302.68243
Heras, Jónathan; Komendantskaya, Ekaterina
5
2014
Coalgebraic semantics for derivations in logic programming. Zbl 1344.68043
Komendantskaya, Ekaterina; Power, John
5
2011
A type-theoretic approach to resolution. Zbl 1362.68047
Fu, Peng; Komendantskaya, Ekaterina
4
2015
Productive corecursion in logic programming. Zbl 1422.68025
Komendantskaya, Ekaterina; Li, Yue
4
2017
Using structural recursion for corecursion. Zbl 1246.68196
Bertot, Yves; Komendantskaya, Ekaterina
3
2009
Proof relevant corecursive resolution. Zbl 06562508
Fu, Peng; Komendantskaya, Ekaterina; Schrijvers, Tom; Pond, Andrew
3
2016
Exploiting parallelism in coalgebraic logic programming. Zbl 1337.68054
Komendantskaya, Ekaterina; Schmidt, Martin; Heras, Jónathan
3
2014
A productivity checker for logic programming. Zbl 06791225
Komendantskaya, Ekaterina; Johann, Patricia; Schmidt, Martin
2
2017
Logic programming: laxness and saturation. Zbl 1400.68049
Komendantskaya, Ekaterina; Power, John
1
2018
Fibrational semantics for many-valued logic programs: Grounds for non-groundness. Zbl 1178.68564
Komendantskaya, Ekaterina; Power, John
1
2008
A sequent calculus for bilattice-based logic and its many-sorted representation. Zbl 1132.03333
Komendantskaya, Ekaterina
1
2007
Coinductive soundness of corecursive type class resolution. Zbl 06791233
Farka, František; Komendantskaya, Ekaterina; Hammond, Kevin
1
2017
ML4PG in computer algebra verification. Zbl 1390.68780
Heras, Jónathan; Komendantskaya, Ekaterina
1
2013
Category theoretic semantics for theorem proving in logic programming: embracing the laxness. Zbl 06603967
Komendantskaya, Ekaterina; Power, John
1
2016
Logic programming: laxness and saturation. Zbl 1400.68049
Komendantskaya, Ekaterina; Power, John
1
2018
Operational semantics of resolution and productivity in Horn clause logic. Zbl 1362.68048
Fu, Peng; Komendantskaya, Ekaterina
5
2017
Productive corecursion in logic programming. Zbl 1422.68025
Komendantskaya, Ekaterina; Li, Yue
4
2017
A productivity checker for logic programming. Zbl 06791225
Komendantskaya, Ekaterina; Johann, Patricia; Schmidt, Martin
2
2017
Coinductive soundness of corecursive type class resolution. Zbl 06791233
Farka, František; Komendantskaya, Ekaterina; Hammond, Kevin
1
2017
Coalgebraic logic programming: from semantics to implementation. Zbl 1344.68044
Komendantskaya, Ekaterina; Power, John; Schmidt, Martin
8
2016
Proof relevant corecursive resolution. Zbl 06562508
Fu, Peng; Komendantskaya, Ekaterina; Schrijvers, Tom; Pond, Andrew
3
2016
Category theoretic semantics for theorem proving in logic programming: embracing the laxness. Zbl 06603967
Komendantskaya, Ekaterina; Power, John
1
2016
A type-theoretic approach to resolution. Zbl 1362.68047
Fu, Peng; Komendantskaya, Ekaterina
4
2015
Recycling proof patterns in Coq: case studies. Zbl 1302.68243
Heras, Jónathan; Komendantskaya, Ekaterina
5
2014
Exploiting parallelism in coalgebraic logic programming. Zbl 1337.68054
Komendantskaya, Ekaterina; Schmidt, Martin; Heras, Jónathan
3
2014
Proof-pattern recognition and lemma discovery in ACL2. Zbl 1407.68436
Heras, Jónathan; Komendantskaya, Ekaterina; Johansson, Moa; Maclean, Ewen
7
2013
ML4PG in computer algebra verification. Zbl 1390.68780
Heras, Jónathan; Komendantskaya, Ekaterina
1
2013
Coalgebraic derivations in logic programming. Zbl 1247.68044
Komendantskaya, Ekaterina; Power, John
6
2011
Coalgebraic semantics for parallel derivation strategies in logic programming. Zbl 1308.68029
Komendantskaya, Ekaterina; McCusker, Guy; Power, John
6
2011
Coalgebraic semantics for derivations in logic programming. Zbl 1344.68043
Komendantskaya, Ekaterina; Power, John
5
2011
Using structural recursion for corecursion. Zbl 1246.68196
Bertot, Yves; Komendantskaya, Ekaterina
3
2009
Inductive and coinductive components of corecursive functions in Coq. Zbl 1279.68285
Bertot, Yves; Komendantskaya, Ekaterina
8
2008
Fibrational semantics for many-valued logic programs: Grounds for non-groundness. Zbl 1178.68564
Komendantskaya, Ekaterina; Power, John
1
2008
A sequent calculus for bilattice-based logic and its many-sorted representation. Zbl 1132.03333
Komendantskaya, Ekaterina
1
2007

Citations by Year