Attribute grammar based theorem prover
暂无分享,去创建一个
George K. Papakonstantinou | T. Panayiotopoulos | G. Stematopoulos | G. Papakonstantinou | T. Panayiotopoulos | G. Stematopoulos
[1] George K. Papakonstantinou,et al. Knowledge Representation with Attribute Grammars , 1986, Comput. J..
[2] Mark E. Stickel,et al. A Hole in Goal Trees: Some Guidance from Resolution Theory , 1973, IEEE Transactions on Computers.
[3] T. Katayama,et al. HFP: A hierarchical and functional programming based on attribute grammar , 1981, ICSE '81.
[4] George K. Papakonstantinou,et al. An Attribute Grammar Interpreter as a Knowledge Engineering Tool , 1986, Angew. Inform..
[5] Vijay Pitchumani,et al. An Experiment in Programming with Full First-Order Logic , 1985, SLP.
[6] Robert W. Floyd,et al. The Syntax of Programming Languages-A Survey , 1964, IEEE Trans. Electron. Comput..
[7] Donald W. Loveland,et al. A Simplified Format for the Model Elimination Theorem-Proving Procedure , 1969, J. ACM.
[8] Jan Maluszynski,et al. Relating Logic Programs and Attribute Grammars , 1985, J. Log. Program..
[9] Bijan Arbab. Compiling Circular Attribute Grammars Into Prolog , 1986, IBM J. Res. Dev..
[10] Dzenan Ridjanovic,et al. Defining Database Dynamics with Attribute Grammars , 1982, Information Processing Letters.