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

The Resource
Machine theory
Resource Information

The concept

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

- Authority link
- http://id.worldcat.org/fast/01004846

- Source
- fast

## Context

Context of Machine theory#### Subject of

No resources found

No enriched resources found

- ACM transactions on computation theory
- 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, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
- 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
- An introduction to formal languages and automata
- Archaeology of algorithmic artefacts
- Automata and computability
- 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 : 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 : 30th international colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings
- Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings
- 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 : 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 : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
- Automata, languages, and programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, 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
- Automata, universality, computation : tribute to Maurice Margenstern
- Big data and analytics : strategic and organizational impacts
- 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 theory : fifth symposium, Zabor�ow, Poland, December 3-8, 1984 : proceedings
- Conference proceedings of the ... annual ACM Symposium on Theory of Computing
- Conference record of the ... annual ACM Symposium on Theory of Computing
- 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
- Foundations of computing and decision sciences
- Functional reverse engineering of machine tools
- Fundamentals of computation theory
- Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Pozn�an-K�ornik, Poland, September 19-23, 1977
- Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981
- Fuzzy semigroups
- Implementation and application of automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014. Proceedings
- Implementation and application of automata : 21st International Conference, Proceedings, CIAA 2016, Seoul, South Korea, July 19-22, 2016. 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
- International journal of applied mathematics and computer science
- Journal of computer and system sciences
- Language and automata theory and applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
- Language and automata theory and applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
- Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut f�ur Mathematische Logik und Frundlagenforschung der Universit�at M�unster/Westfalen
- Machine learning models and algorithms for big data classification : thinking with examples for effective learning
- 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�e 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, 1976 : proceedings, 5th Symposium, Gda�nsk, September 6-10, 1976
- Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatransk�a 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
- Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979
- Nonlinear time-discrete systems : a general approach by nonlinear superposition
- 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
- Proceedings of the ... Annual ACM Symposium on Theory of Computing
- 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 : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
- Quantitative evaluation of systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
- Regulated grammars and automata
- SIGACT news
- Theoretical computer science
- 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.libraries.ou.edu/resource/8Za0zc8CDlY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/8Za0zc8CDlY/">Machine theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma 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.libraries.ou.edu/resource/8Za0zc8CDlY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/8Za0zc8CDlY/">Machine theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>`