REDLOG: computer algebra meets computer logic

Public

REDLOG: computer algebra meets computer logic

N

Shared by NobleBlocks on Jun 1, 1997 • 12:00 AM UTC

Authors:

Andreas Dolzmann

,

T. Sturm

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!

Publication Date: Jun 1, 1997 • 12:00 AM UTC

NobleID:w1/20260525/E41F03F1

DOI:10.1145/261320.261324

No figures available

Generate Podcast

REDLOG: computer algebra meets computer logic | NobleBlocks