#
Machine theory
Resource Information
The concept ** Machine theory** represents the subject, aboutness, idea or notion of resources found in **University of Missouri Libraries**.

The Resource
Machine theory
Resource Information

The concept

**Machine theory**represents the subject, aboutness, idea or notion of resources found in**University of Missouri Libraries**.- Label
- Machine theory

- Source
- fast

## Context

Context of Machine theory#### Subject of

No resources found

No enriched resources found

- 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.-12. Juli 1973
- A concise introduction to languages and machines
- A course in formal languages, automata and groups
- ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
- Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19 24, 2000 Proceedings
- Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3 7, 2003 Proceedings
- Abstract computing machines : a lambda calculus perspective
- Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
- Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
- Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings
- Acta informatica
- Advances in Petri Nets 1988
- Advances in Petri Nets, 1991
- Advances in Petri Nets, 1992
- Advances in Petri Nets, 1993
- Advances in Petri nets 1990
- Advances in Petri nets, 1984
- Advances in Petri nets, 1985
- Advances in Petri nets, 1989
- Automata for branching and layered temporal structures : and investigation into regularities of infinite transition systemes
- Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
- Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers
- Automata implementation : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers
- Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers
- Automata logics, and infinite games : a guide to current research
- Automata on infinite words
- Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
- Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 Proceedings
- Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings
- Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings
- Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings
- Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings
- Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings
- Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 ; proceedings
- Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings
- Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
- Automata, languages and programming : 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974
- Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings
- Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
- Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings
- Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings
- Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings
- Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings, Part I
- Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings, Part I
- Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings, Part II
- Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
- Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings
- Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 ; proceedings, Part I
- Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I
- Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
- Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978
- Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983
- Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984
- Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985
- Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings
- Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings
- Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
- Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
- Automata, languages, and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
- Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings, Part I
- Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
- Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
- Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982
- Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980
- CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
- Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
- Computation engineering : applied automata theory and logic
- Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings
- Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems
- Descriptional complexity of formal systems : 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011 : proceedings
- Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings
- Formal and natural computing : essays dedicated to Grzegorz Rozenberg
- Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers
- Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings
- Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983
- Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983
- Fundamentals of computation theory
- Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977
- Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981
- Handbook of nature-inspired and innovative computing : integrating classical models with emerging technologies
- Handbook of weighted automata
- Implementation and application of automata : 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers
- Implementation and application of automata : 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings
- Implementation and application of automata : 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers
- Implementation and application of automata : 13th international conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008 : proceedings
- Implementation and application of automata : 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings
- Implementation and application of automata : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers
- Implementation and application of automata : 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : revised selected papers
- Implementation and application of automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
- Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
- Implementation and application of automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014. Proceedings
- Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers
- Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers
- Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
- Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings
- Implementation and application of automata : 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers
- Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers
- Introduction to the theory of computation
- Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings
- Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
- Language and automata theory and applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011, proceedings
- Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
- Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
- Language and automata theory and applications : second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, revised papers
- Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen
- Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen
- Machines, Computations, and Universality : third international conference, MCU 2001 : Chişinǎu, Moldova, May 23-27 2001 : proceedings
- Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981
- Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986
- Mathematical foundations of computer science 2006 : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedings
- Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings
- Mathematical foundations of computer science 2008 : 33rd international symposium, MFCS 2008, Torun, Poland, August 25-29, 2008 ; proceedings
- Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings
- Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings
- Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976
- Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977
- Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979
- Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
- Mechanism and machine theory
- Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979
- Petri nets, applications and relationships to other models of concurrency : Advances in Petri nets 1986, part II : proceedings of an advanced course Bad Honnef, 8.-19. September 1986
- Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
- Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
- Quantitative evaluation of systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
- Quantitative evaluation of systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings
- Regulated grammars and automata
- Research and education in robotics-EUROBOT 2008 : international conference, Heidelberg, Germany, May 22-24, 2008 : revised selected papers
- Structural theory of automata, semigroups, and universal algebra
- Theoretical computer science
- Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
- Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday

## Embed

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/zpzvQcgDpjY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/zpzvQcgDpjY/">Machine theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Machine theory

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/zpzvQcgDpjY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/zpzvQcgDpjY/">Machine theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>`