de.mpg.escidoc.pubman.appbase.FacesBean
  詳細検索ブラウズ

アイテム詳細


公開

会議論文

Set-Based Analysis of Logic Programs and Reactive Logic Programs

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45201

Podelski,  Andreas
Programming Logics, MPI for Informatics, Max Planck Society;

URL
There are no locators available
フルテキスト (公開)
公開されているフルテキストはありません
付随資料 (公開)
There is no public supplementary material available
引用

Podelski, A. (1997). Set-Based Analysis of Logic Programs and Reactive Logic Programs. In J., Maluszynski (Ed.), Proceedings of the International Symposium on Logic Programming (ILPS-14) (pp. 35-36). Cambridge, USA: MIT Press.


引用: http://hdl.handle.net/11858/00-001M-0000-000F-3A0A-1
要旨
要旨はありません