skip to main content
Lingue:
Cerca la mia strategia di ricerca: Mostra risultati con: Mostra risultati con:

Polynomial-time computation via local inference relations

Givan, Robert ; Mcallester, David

ACM Transactions on Computational Logic (TOCL), 2002-10-01, Vol.3 (4), p.521-541 [Rivista Peer Reviewed]

Fulltext non disponibile

Vedi tutte le versioni
Citazioni Citato da

Ricerca in corso nelle risorse remote ...