[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: Problems with Mizar have been resolved

To: mizar-forum@mizar.uw.bialystok.pl
Subject: Re: Problems with Mizar have been resolved
From: Vedasystem <Vedasystem@aol.com>
Date: Wed, 29 Apr 1998 17:30:04 EDT
Cc: Vedasystem@aol.com

Thanks a lot ( to Grzegorz Bancerek and Piotr Rudnicky) for their
answers on my question about context-free grammars.

Victor Makarov

Prev by Date: Re: Problems with Mizar have been resolved
Index(es):
- Chronological
- Thread