Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Universite De Montpellier Language : albanian Language : english Language : romanian; moldavian; moldovan Language : slovak Language : waray Language : welsh Format : Books Subject : [math.math-lo]mathematics [math]/logic [math.lo] Subject : decision problems

Item request has been placed!

Item request cannot be made.

Processing Request

Book

Mathematical works of Vladimir A. Uspensky: a commentary (Enlgish and Russian texts) ; Математические работы Владимира Андреевича Успенского: комментарии (английский и русский текст)

Authors :

Subjects: Vladimir A. Uspensky

Source: Vladimir A. Uspensky. Non-mathematical works collection (Russian version) ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03059688 ; Vladimir A. Uspensky. Non-mathematical works collection (Russian version),

Read More Add to Saved list

Book

Algorithmic Statistics: Forty Years Later

Authors :

Subjects: algorithmic statistics

Source: Computability and Complexity. Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday ; https://hal.science/hal-01480627 ; Adam Day; Michael Fellows. Computability and Complexity.

Read More Add to Saved list

Book

Parallel and Serial Jumps of Weak Weak König’s Lemma

Authors :

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: Computability and Complexity ; https://hal.science/hal-01451088 ; Computability and Complexity, LNCS (10010), Springer, pp.201-217, 2017, Essays Dedicated to Rodney G. Downey on the Occasion of His

Read More Add to Saved list

Book

Learning Lambek grammars from proof frames

Authors :

Subjects: [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

Source: Categories and types in logic, language and physics -- Festschrift on the occasion of Jim Lambek's 90th birthday ; https://hal.science/hal-00923897 ; Claudia Casadio; Bob Coecke; M. Moortgat; Ph.

Read More Add to Saved list