( en | de | ru )

 

Disambiguation of "Bry, François"

Author of the publication

copydeleteadd this publication to your clipboard
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki.

, and . SOFSEM, volume 5901 of Lecture Notes in Computer Science, page 247-258. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francois Bry

François Weirich

François Elvinger

François Guers

François Melis

 

Other publications of authors with the same name

Query Answering in Information Systems with Integrity Constraints.. IICIS, volume 109 of IFIP Conference Proceedings, page 113-130. Chapman Hall, (1997)Upside-down deduction.. BDA, page 91-. INRIA, (1990)In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.. CoRR, (2018)Negation in Logic Programming: A Formalization in Constructive Logic.. IS/KI, volume 474 of Lecture Notes in Computer Science, page 30-46. Springer, (1990)CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge., , and . CSI-SE@ICSE, page 1-8. ACM, (2018)Discerning Actuality in Backstage - Comprehensible Contextual Aging., , and . EC-TEL, volume 7563 of Lecture Notes in Computer Science, page 126-139. Springer, (2012)On the number of 1-factors of locally finite graphs.. J. Comb. Theory B, 34 (1): 48-57 (1983)Intensional Updates: Abduction via Deduction.. ICLP, page 561-575. MIT Press, (1990)Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser., and . WLP, page 205-216. (1995)In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.. Theory Pract. Log. Program., 20 (1): 99-146 (2020)