×
Edit Profile (opens in new tab)

Lebègue, Patrick

Co-Author Distance
Author ID: lebegue.patrick Recent zbMATH articles by "Lebègue, Patrick"
Published as: Lebègue, Patrick; Lebegue, Patrick; Lebègue, P.
Documents Indexed: 5 Publications since 1986
Co-Authors: 5 Co-Authors with 5 Joint Publications
32 Co-Co-Authors

Co-Authors

0 single-authored
5 Devienne, Philippe
3 Routier, Jean-Christophe
2 Würtz, Jörg
1 Dauchet, Max
1 Parrain, Anne

Serials

1 Theoretical Computer Science
1 The Journal of Logic Programming

Fields

5 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

4 Publications have been cited 15 times in 10 Documents Cited by ▼ Year ▼
Halting problem of one binary Horn clause is undecidable. Zbl 0797.68057
Devienne, Philippe; Lebègue, Patrick; Routier, Jean-Christophe
7
1993
Weighted graphs: A tool for logic programming. Zbl 0605.68075
Devienne, Philippe; Lebegue, Patrick
5
1986
One binary Horn clause is enough. Zbl 0941.03535
Devienne, Philippe; Lebègue, Patrick; Routier, Jean-Christophe; Würtz, Jörg
2
1994
Smallest Horn clause programs. Zbl 0874.68055
Devienne, P.; Lebègue, P.; Parrain, A.; Routier, J. C.; Würtz, J.
1
1996
Smallest Horn clause programs. Zbl 0874.68055
Devienne, P.; Lebègue, P.; Parrain, A.; Routier, J. C.; Würtz, J.
1
1996
One binary Horn clause is enough. Zbl 0941.03535
Devienne, Philippe; Lebègue, Patrick; Routier, Jean-Christophe; Würtz, Jörg
2
1994
Halting problem of one binary Horn clause is undecidable. Zbl 0797.68057
Devienne, Philippe; Lebègue, Patrick; Routier, Jean-Christophe
7
1993
Weighted graphs: A tool for logic programming. Zbl 0605.68075
Devienne, Philippe; Lebegue, Patrick
5
1986
all cited Publications top 5 cited Publications
all top 5

Cited by 16 Authors

2 Dauchet, Max
2 Devienne, Philippe
1 Balbiani, Philippe
1 Bruynooghe, Maurice
1 De Schreye, Danny
1 Gottlob, Georg
1 Hanschke, Philipp
1 Lebègue, Patrick
1 Marcinkowski, Jerzy
1 Pacholski, Leszek M.
1 Papadimitriou, Christos Harilaos
1 Ruggieri, Salvatore
1 Salzer, Gernot
1 Verschaetse, Kristof
1 Würtz, Jörg
1 Yaacoub, Antoun

Cited in 5 Serials

3 Theoretical Computer Science
1 Artificial Intelligence
1 Information Processing Letters
1 Annals of Pure and Applied Logic
1 Information and Computation

Cited in 2 Fields

10 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)

Citations by Year