On the time required by the Davis-Putnam tautology recognition algorithm (1971)
- Autor:
- Autor USP: SIMON, IMRE - IME
- Unidade: IME
- Assunto: MATEMÁTICA
- Language: Inglês
- Imprenta:
- Publisher: University of Waterloo
- Publisher place: Waterloo
- Date published: 1971
-
ABNT
SIMON, Imre. On the time required by the Davis-Putnam tautology recognition algorithm. . Waterloo: University of Waterloo. . Acesso em: 14 fev. 2026. , 1971 -
APA
Simon, I. (1971). On the time required by the Davis-Putnam tautology recognition algorithm. Waterloo: University of Waterloo. -
NLM
Simon I. On the time required by the Davis-Putnam tautology recognition algorithm. 1971 ;[citado 2026 fev. 14 ] -
Vancouver
Simon I. On the time required by the Davis-Putnam tautology recognition algorithm. 1971 ;[citado 2026 fev. 14 ] - A propriedade intelectual diante da emergência da produção social
- Piecewise testable events
- Characterizations of locally testable events
- A note on elementary homomorphisms and the regularity of equality sets
- On finite semigroups of matrices
- Conditions de finitude pour des semigroups
- Modeling literal morphisms by shuffle
- Síntese moderna de filtros no computador, 1a parte
- Factorization forests of finite height
- Palavras, autômatos e algoritmos: uma bibliografia
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
