Login

Publication

Detail

Publication date: 01/01/2004

Semantics for Dynamic Logic Programming: A Principle-Based Approach

Authors

José Júlio Alferes, Vladimir Lifschitz, José Júlio Alferes, Vladimir Lifschitz, Federico Banti, Federico Banti, Antonio Brogi, Antonio Brogi, João Leite, João Leite,
URL http://springerlink.metapress.com/openurl.asp?genre=article{&}issn=0302-9743{&}volume=2923{&}spage=8
Publisher Springer
Series Lecture Notes in Computer Science
Volume 2923
ISBN 3-540-20721-X
URL http://springerlink.metapress.com/openurl.asp?genre=article{&}issn=0302-9743{&}volume=2923{&}spage=8
Publisher Springer
Series Lecture Notes in Computer Science
Volume 2923
ISBN 3-540-20721-X