Publications DTAI

1983

Articles in internationally reviewed journals

1 reference

• De Schreye, Danny. Integrable, ergodic actions of abelian-groups on vonneumann-algebras, Mathematica Scandinavica, volume 53, issue 2, pages 265-280, 1983

  @article{124205,
    author = "De Schreye, Danny",
    title = "Integrable, ergodic actions of abelian-groups on vonneumann-algebras",
    journal = "Mathematica Scandinavica",
    volume = "53",
    number = "2",
    pages = "265--280",
    year = "1983",
    url = "https://lirias.kuleuven.be/handle/123456789/124205",
  }
  

Papers at international conferences and symposia, published in full in proceedings

2 references

• Ballieu, Gerard. A Virtual Machine to implement Prolog, Algarve, Portugal, Proceedings Logic Programming Workshop 83, pages 40-52, 1983

  @inproceedings{134448,
    author = "Ballieu, Gerard",
    title = "A {V}irtual {M}achine to implement {P}rolog",
    booktitle = "Proceedings Logic Programming Workshop 83",
    pages = "40--52",
    year = "1983",
    url = "https://lirias.kuleuven.be/handle/123456789/134448",
  }
  

• Bruynooghe, Maurice. Some Reflections on Implementation Issues of Prolog, Pereira, L.M (ed.), Logic Programming Workshop '83, Albufeira, Portugal, June 1983, Proceedings Logic Programming Workshop '83, pages 1-6

  @inproceedings{133074,
    author = "Bruynooghe, Maurice",
    title = "Some {R}eflections on {I}mplementation {I}ssues of {P}rolog",
    booktitle = "Proceedings Logic Programming Workshop '83, ",
    editor = "Pereira, L.M.",
    pages = "1--6",
    month = Jun,
    year = "1983",
    url = "https://lirias.kuleuven.be/handle/123456789/133074",
  }
  

Meeting abstracts, presented at international conferences and symposia

1 reference

• Venken, Raf; Bruynooghe, Maurice. Prolog as a language for prototyping of information systems, Working Conference on Prototyping, Namur, Belgium, October 1983

  @unpublished{134114,
    author = "Venken, Raf and Bruynooghe, Maurice",
    title = "Prolog as a language for prototyping of information systems",
    note = "Working Conference on Prototyping, Namur, Belgium, October 1983",
    year = "1983",
    url = "https://lirias.kuleuven.be/handle/123456789/134114",
  }
  

Internal reports

1 reference

• Bruynooghe, Maurice; Pereira, Louis M.. Deduction revision by intelligent backtracking, CW Reports, volume CW32, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1983

  @techreport{131871,
    author = "Bruynooghe, Maurice and Pereira, Louis M.",
    title = "Deduction revision by intelligent backtracking",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW32",
    month = Jun,
    year = "1983",
    url = "https://lirias.kuleuven.be/handle/123456789/131871",
  }
  

 
Last update local database Sun May 19 2013 0:18 am; It contains now 9737 items.

Yearly overview: