WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/365912980

LANGAGES DU DEUXIEME ORDRE ET AUTOMATES D'ARBRES INFINIS : APPLICATIONS A LA SEMANTIQUE DES PROGRAMMES ET A LA COMPLEXITE DES ALGORITHMES

Open All Close All

type

about

creator

description

http://schema.org/description

  • "CONSEQUENCE DES LIENS QUI EXISTENT ENTRE LES AUTOMATES FINIS ET LA LOGIQUE DU SECOND ORDRE MONADIQUE SUR LA SEMANTIQUE DES PROGRAMMES ET LA COMPLEXITE DES ALGORITHMES."

name

http://schema.org/name

  • "LANGAGES DU DEUXIEME ORDRE ET AUTOMATES D'ARBRES INFINIS : APPLICATIONS A LA SEMANTIQUE DES PROGRAMMES ET A LA COMPLEXITE DES ALGORITHMES"
  • "Langages du deuxième ordre et automates d'arbres infinis : applications à la sémantique des programmes et à la complexité des algorithmes"

workExample