Machine theory.
Overview
            | Works: | 89 works in 25 publications in 25 languages | |
|---|---|---|
Titles
          
                  
                    An introduction to theory of computation = an algorithmic approach /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Theory of computation = automata, formal languages, computation and complexity /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Restarting automata = the standard type of restarting automaton and its variants /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                
                  
                    
                      
                        Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal languages, automata and numeration systems. DUP_1. 1,. Introduction to combinatorics on words
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal languages, automata and numeration systems. DUP_1. 2,. Applications to recognizability and decidability
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal languages, automata and numeration systems.. 1,. Introduction to combinatorics on words
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal languages, automata and numeration systems.. 2,. Applications to recognizability and decidability
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Automata, universality, computation = tribute to Maurice Margenstern /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Machine Learning Models and Algorithms for Big Data Classification = Thinking with Examples for Effective Learning /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Descriptive set theoretic methods in automata theory = decidability and topological complexity /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        New trends in mechanism and machine science = theory and industrial applications /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Foundations of Software Science and Computation Structures = 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Knowledge Engineering and Knowledge Management = 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Chinese Lexical Semantics = 22nd Workshop, CLSW 2021, Nanjing, China, May 15–16, 2021, Revised Selected Papers, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Open Semantic Technologies for Intelligent Systems = 11th International Conference, OSTIS 2021, Minsk, Belarus, September 16–18, 2021, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal Aspects of Component Software = 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Implementation and Application of Automata = 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information Processing and Management of Uncertainty in Knowledge-Based Systems = 19th International Conference, IPMU 2022, Milan, Italy, July 11–15, 2022, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information Processing and Management of Uncertainty in Knowledge-Based Systems = 19th International Conference, IPMU 2022, Milan, Italy, July 11–15, 2022, Proceedings, Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        The Semantic Web: ESWC 2022 Satellite Events = Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Coalgebraic Methods in Computer Science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Automated Reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Machine Learning and Knowledge Extraction = 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23–26, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Automata Theory and Formal Languages = Fundamental Notions, Theorems, and Techniques /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Logic-Based Program Synthesis and Transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal Analysis by Abstract Interpretation = Case Studies in Modern Protocols /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Metadata and Semantic Research = 15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Artificial General Intelligence = 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15–18, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Inductive Logic Programming = 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Theory of computation simplified = simulate real-world computing machines and problems with strong principles of computation /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                  
                  
                      Show more
                    
                    
                      Fewer
                    
                  Subjects