Co-Logic Programming: Extending Logic Programming with Coinduction - Sciweavers

29

click to vote

more ICALP 2007 ...

www.utdallas.edu

Tweet