Re: Q: Systems for Algebraic/ Structural Reasoning

Ruslan Shevchenko (rssh@queen.ukma.kiev.ua)
Fri, 8 Mar 1996 17:21:59 +0200 (EET)

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: MAKV@delphi.com: "The Russel paradox and the VEDA system"
Previous message: Paul Jackson: "Re: Q: Systems for Algebraic/ Structural Reasoning"
In reply to: Florian Kammueller: "Q: Systems for Algebraic/ Structural Reasoning"
Next in thread: N.G. De Bruijn: "Re: Q: Systems for Algebraic/ Structural Reasoning"

Exists some systems, which based on APS (algebraic programming
system). You can get papers devoted to APS
http://snark.ukma.kiev.ua/~/rssh/aps.html
and free realization (now only under DOS).

Ruslan Shevchenko @=
<rssh@queen.ukma.kiev.ua> //RSSH

Next message: MAKV@delphi.com: "The Russel paradox and the VEDA system"
Previous message: Paul Jackson: "Re: Q: Systems for Algebraic/ Structural Reasoning"
In reply to: Florian Kammueller: "Q: Systems for Algebraic/ Structural Reasoning"
Next in thread: N.G. De Bruijn: "Re: Q: Systems for Algebraic/ Structural Reasoning"