skip to main content

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Kozen, Dexter Kozen, Dexter

Berlin, Heidelberg: Springer Berlin Heidelberg 1982

Texto completo disponible

Citas Citado por

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora