Coverart for item
The Resource Logic and Automata : History and Perspectives, (electronic book)

Logic and Automata : History and Perspectives, (electronic book)

Label
Logic and Automata : History and Perspectives
Title
Logic and Automata
Title remainder
History and Perspectives
Creator
Contributor
Summary
  • Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d'horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field
  • Wiskundige logica en automata theorie zijn twee wetenschappelijke disciplines die nauw met elkaar verbonden zijn. Deze relatie is niet alleen fundamenteel voor velen theoretische resultaten, maar vormt ook de basis voor een coherente methodologie voor de controle en synthese van gegevensverwerkingssystemen. De auteurs van Logic en Automata grijpen de gelegenheid van de zestigste verjaardag van Wolfgang Thomas aan om een 'tour d'horizon' op het gebied van automata theory en logica te geven. De twintig hiervoor verzamelde essays beslaan verschillende facetten van de logica en automata theorie, ze benadrukken de verbanden met andere disciplines als complexiteitstheorie, games, algorithms en semi-groep theorie en bespreken eigentijdse uitdagingen op dit gebied
  • Subject term: Mathematics and science
  • Subject term: Science: general issues
  • Subject term: Popular science
  • Subject term: Wetenschap algemeen
Member of
http://library.link/vocab/creatorName
Flum, Jörg
Literary form
unknown
http://library.link/vocab/relatedWorkOrContributorName
  • Grädel, Erich
  • Wilke, Thomas
Label
Logic and Automata : History and Perspectives, (electronic book)
Instantiates
Publication
Antecedent source
unknown
Control code
340026
Dimensions
other
Extent
1 electronic resource (736 p.)
File format
one file format
Form of item
online
Isbn
9789053565766
Level of compression
unknown
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
unspecified
Label
Logic and Automata : History and Perspectives, (electronic book)
Publication
Antecedent source
unknown
Control code
340026
Dimensions
other
Extent
1 electronic resource (736 p.)
File format
one file format
Form of item
online
Isbn
9789053565766
Level of compression
unknown
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
unspecified

Library Locations

Processing Feedback ...