Manipulating logical expressions...

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Alvaro Monge Sat, 25 Jul 1992 00:01

#89

Author: Alvaro Monge
Date: Sat, 25 Jul 1992 00:01

16 lines
925 bytes

I am in need of source code (preferably C++) which
manipulates logical expressions involving variables
and literal constants.

An important operation of such a program is:
   Standardizing apart of names:
     i.e.
	Given 2 expressions.  Want them to each have different
	variable names.  That is do the necessary alfa conversions
	on the expression(s) to make sure that they do not share
	any variable names.

Thanks,
Al Monge
amonge@cs.ucsd.edu

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads