Descriptive Set Theoretic Methods in Automata Theory

EISBN:9783662529478
PISBN:9783662529461
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:2016
版次:1st ed. 2016
作者:Michał Skrzypczak
主题词:Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Discrete Mathematics in Computer Science,Software Engineering
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Descriptive Set Theory

  • 作者:Yiannis N. Moschovakis
  • PISBN:9780444701992
  • 出版时间:Pre 2007

Classical Descriptive Set Theory

  • 作者:Alexander Kechris
  • EISBN:9781461241904
  • 出版社:Springer New York
  • 出版时间:1995

SET THEORY WITH AN INTRODUCTION TO DESCRIPTIVE SET THEORY

  • 作者:K. Kuratowski,A. Mostowski
  • PISBN:9780720404708
  • 出版时间:Pre 2007

Descriptive Set Theory and Forcing

  • 作者:Miller
  • EISBN:9781316716977
  • 出版社:Cambridge University Press
  • 出版时间:2017

Classical Descriptive Set Theory

  • 作者:Alexander S. Kechris
  • EISBN:9781461241904
  • 出版社:Springer New York
  • 出版时间:1995

Set-Theoretic Methods in Control

  • 作者:Franco Blanchini,Stefano Miani
  • EISBN:9783319179339
  • 出版社:Springer International Publishing
  • 出版时间:2015