×

zbMATH — the first resource for mathematics

Wadge, William W.

Compute Distance To:
Author ID: wadge.william-w Recent zbMATH articles by "Wadge, William W."
Published as: Wadge, W. W.; Wadge, William; Wadge, William W.
Documents Indexed: 30 Publications since 1974, including 3 Books

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 130 times in 90 Documents Cited by Year
Lucid, the dataflow programming language. Zbl 0564.68002
Wadge, William W.; Ashcroft, Edward A.
19
1985
Minimum model semantics for logic programs with negation-as-failure. Zbl 1367.68038
Rondogiannis, Panos; Wadge, William W.
14
2005
Towards a unified theory of intensional logic programming. Zbl 0754.68032
Orgun, Mehmet A.; Wadge, William W.
14
1992
Lucid - a formal system for writing and proving programs. Zbl 0362.68030
Ashcroft, E. A.; Wadge, W. W.
12
1976
An extensional treatment of dataflow deadlock. Zbl 0441.68017
Wadge, William W.
10
1981
An infinite-game semantics for well-founded negation in logic programming. Zbl 1133.68012
Galanaki, Chrysida; Rondogiannis, Panos; Wadge, William W.
9
2008
An infinite-valued semantics for logic programs with negation. Zbl 1013.68058
Rondogiannis, Panos; Wadge, William W.
9
2002
Extensional higher-order logic programming. Zbl 1353.68031
Charalambidis, Angelos; Handjopoulos, Konstantinos; Rondogiannis, Panagiotis; Wadge, William W.
7
2013
Intermittent assertion proofs in Lucid. Zbl 0363.68021
Ashcroft, E. A.; Wadge, W. W.
7
1977
Early investigations of the degrees of Borel sets. Zbl 1261.03144
Wadge, William W.
5
2012
R for semantics. Zbl 0478.68083
Ashcroft, E. A.; Wadge, W. W.
5
1982
Data types as objects. Zbl 0353.68050
Shamir, Adi; Wadge, William W.
4
1977
A purely model-theoretic semantics for disjunctive logic programs with negation. Zbl 1149.68327
Cabalar, Pedro; Pearce, David; Rondogiannis, Panos; Wadge, William W.
3
2007
Extensional higher-order logic programming. Zbl 1306.68004
Charalambidis, Angelos; Handjopoulos, Konstantinos; Rondogiannis, Panos; Wadge, William W.
2
2010
Preferential regular path queries. Zbl 1161.68016
Grahne, Gösta; Thomo, Alex; Wadge, William W.
2
2008
A sufficient condition for strong equivalence under the well-founded semantics. Zbl 1165.68339
Nomikos, Christos; Rondogiannis, Panos; Wadge, William W.
2
2005
Extending temporal logic programming with choice predicates non- determinism. Zbl 0824.68022
Orgun, Mehmet A.; Wadge, William W.
2
1994
An extensional treatment of dataflow deadlock. Zbl 0402.68007
Wadge, William W.
2
1979
Vmake and ISE general tools for the intensionalization of software systems. Zbl 1006.68026
Swoboda, P.; Wadge, W. W.
1
2000
Higher-order functional languages and intensional logic. Zbl 0945.68030
Rondogiannis, P.; Wadge, W. W.
1
1999
Extensional higher-order logic programming. Zbl 1353.68031
Charalambidis, Angelos; Handjopoulos, Konstantinos; Rondogiannis, Panagiotis; Wadge, William W.
7
2013
Early investigations of the degrees of Borel sets. Zbl 1261.03144
Wadge, William W.
5
2012
Extensional higher-order logic programming. Zbl 1306.68004
Charalambidis, Angelos; Handjopoulos, Konstantinos; Rondogiannis, Panos; Wadge, William W.
2
2010
An infinite-game semantics for well-founded negation in logic programming. Zbl 1133.68012
Galanaki, Chrysida; Rondogiannis, Panos; Wadge, William W.
9
2008
Preferential regular path queries. Zbl 1161.68016
Grahne, Gösta; Thomo, Alex; Wadge, William W.
2
2008
A purely model-theoretic semantics for disjunctive logic programs with negation. Zbl 1149.68327
Cabalar, Pedro; Pearce, David; Rondogiannis, Panos; Wadge, William W.
3
2007
Minimum model semantics for logic programs with negation-as-failure. Zbl 1367.68038
Rondogiannis, Panos; Wadge, William W.
14
2005
A sufficient condition for strong equivalence under the well-founded semantics. Zbl 1165.68339
Nomikos, Christos; Rondogiannis, Panos; Wadge, William W.
2
2005
An infinite-valued semantics for logic programs with negation. Zbl 1013.68058
Rondogiannis, Panos; Wadge, William W.
9
2002
Vmake and ISE general tools for the intensionalization of software systems. Zbl 1006.68026
Swoboda, P.; Wadge, W. W.
1
2000
Higher-order functional languages and intensional logic. Zbl 0945.68030
Rondogiannis, P.; Wadge, W. W.
1
1999
Extending temporal logic programming with choice predicates non- determinism. Zbl 0824.68022
Orgun, Mehmet A.; Wadge, William W.
2
1994
Towards a unified theory of intensional logic programming. Zbl 0754.68032
Orgun, Mehmet A.; Wadge, William W.
14
1992
Lucid, the dataflow programming language. Zbl 0564.68002
Wadge, William W.; Ashcroft, Edward A.
19
1985
R for semantics. Zbl 0478.68083
Ashcroft, E. A.; Wadge, W. W.
5
1982
An extensional treatment of dataflow deadlock. Zbl 0441.68017
Wadge, William W.
10
1981
An extensional treatment of dataflow deadlock. Zbl 0402.68007
Wadge, William W.
2
1979
Intermittent assertion proofs in Lucid. Zbl 0363.68021
Ashcroft, E. A.; Wadge, W. W.
7
1977
Data types as objects. Zbl 0353.68050
Shamir, Adi; Wadge, William W.
4
1977
Lucid - a formal system for writing and proving programs. Zbl 0362.68030
Ashcroft, E. A.; Wadge, W. W.
12
1976
all top 5

Cited by 129 Authors

18 Rondogiannis, Panos
8 Nomikos, Christos
5 Symeonidou, Ioanna
4 Charalambidis, Angelos
3 Endrullis, Jörg
3 Ésik, Zoltán
3 Hendriks, Dimitri
3 Kountouriotis, Vassilis
3 Wadge, William W.
2 Alagic, Suad
2 Feautrier, Paul
2 Galanaki, Chrysida
2 Gergatsoulis, Manolis
2 Hoffmann, Christoph M.
2 Klop, Jan Willem
2 Matthews, Stephen G.
2 Orgun, Mehmet Ali
2 Pin, Jean-Eric
2 Saurin, Alexis
2 Schlicht, Philipp
2 Staples, John
2 Stewart, Alan
2 Yamasaki, Susumu
1 Abadi, Martín
1 Abramsky, Samson
1 Alagić, Mara
1 Antoine, Christian
1 Arsac, Jacques J.
1 Barringer, Howard
1 Baugh, John W. jun.
1 Beck, Jarryd P.
1 Benveniste, Albert
1 Bogaerts, Bart
1 Broy, Manfred
1 Bruce, Kim B.
1 Bry, François
1 Brzoska, Christoph
1 Carayol, Arnaud
1 Carroy, Raphaël
1 Carton, Olivier
1 Caspi, Paul
1 Cheng, Eric Dahai
1 d’Avila Garcez, Artur S.
1 Debart, Françoise
1 Delande, Olivier
1 Denecker, Marc
1 Du, Weichang
1 Duan, Zhenhua
1 Duparc, Jacques
1 Eiter, Thomas
1 Enjalbert, Patrice
1 Farah, Mansour
1 Fariñas del Cerro, Luis
1 Fink, Michael
1 Fisher, Michael W.
1 Flannery, Kevin E.
1 Gabbay, Dov M.
1 Gaboardi, Marco
1 Gay, Simon J.
1 Glasgow, Janice I.
1 Gough, Graham
1 Grabmayer, Clemens
1 Harel, David
1 Hazel, Daniel
1 Hudak, Paul
1 Ikegami, Daisuke
1 Imamura, Takuma
1 Isihara, Ariya
1 Jayaraman, Bharat
1 Kearney, Peter
1 Kopperman, Ralph D.
1 Lamb, Luís C.
1 Le Goff, Bernard
1 Le Guernic, Paul
1 Lescot, Madeleine
1 Liu, Hai
1 Lowrance, John D.
1 MacEwen, Glenn H.
1 Mackworth, Alan K.
1 Manna, Zohar
1 Martin, Éric A.
1 Martin, Johannes J.
1 Marynissen, Simon
1 Mazurkiewicz, Antoni W.
1 Medini, Andrea
1 Melhem, Rami G.
1 Meyer, Albert Ronald
1 Mili, Ali
1 Miller, Dale Allen
1 Mills, Jonathan W.
1 Milner, Robin
1 Mitchell, John C.
1 Müller, Sandra
1 Nagarajan, Rajagopal
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Owens, Richard
1 Pajoohesh, Homeira
1 Panayiotopoulos, Themis
1 Péchoux, Romain
1 Perrin, Dominique
...and 29 more Authors

Citations by Year