Jump to main content

yr 〜
yr

Search results 3

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Paper図書
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editorsSpringerc2020
Other Libraries in Japan
  • Author HeadingSchuster, Peter M. Seisenberger, Monika Weierman...

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory : hardback

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory : hardback
Paper図書
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editorsSpringerc2020
Other Libraries in Japan
  • Author HeadingSchuster, Peter M. Seisenberger, Monika Weierman...

Mathesis universalis, computability and proof

Mathesis universalis, computability and proof
Paper図書
Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster, editorsSpringerc2019
Other Libraries in Japan
  • Author HeadingCentrone, Stefania Negri, Sara Sarikaya, Deniz Schuster, Peter M.

Reached to the end of result.

RSS