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

27

click to vote

more ICALP 2007 ...

www.utdallas.edu

Tweet