Sortiert nach
Perspectives of System Informatics, 2019, Vol.11964, p.64-79
2019
Link zum Volltext
Correct System Design, 2015, p.238-259
2015
Link zum Volltext
Secure IT Systems, 2018, p.421-436
2018
Link zum Volltext
Selected Areas in Cryptography – SAC 2023, p.346-366
Link zum Volltext
Small Dynamic Complexity Classes, 2017, Vol.10110, p.35-81
2017
Link zum Volltext
Intelligent Computer Mathematics, 2017, Vol.10383, p.292-302
2017
Link zum Volltext
Descriptional Complexity of Formal Systems, 2022, Vol.13439, p.170-183
2022
Link zum Volltext
Developments in Language Theory, 2015, Vol.9168, p.85-96
2015
Link zum Volltext
Intelligent Computing, 2018, Vol.857, p.636-647
2018
Link zum Volltext
Practical Aspects of Declarative Languages, 2017, Vol.10137, p.86-102
2017
Link zum Volltext
Software Technologies: Applications and Foundations, 2016, p.112-128
2016
Link zum Volltext
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
2010
Link zum Volltext
Logic, Language, Information, and Computation, 2019, Vol.11541, p.53-69
2019
Link zum Volltext
Knowledge Representation for Health Care, 2014, Vol.8903, p.45-61
2014
Link zum Volltext
Toward Robotic Socially Believable Behaving Systems - Volume II, 2016, Vol.106, p.47-59
2016
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2017, Vol.10145, p.462-482
2017
Link zum Volltext
Computing with New Resources, 2014, Vol.8808, p.249-263
2014
Link zum Volltext
Technology Systems and Management, p.221-226
Link zum Volltext
Trends in Mathematics and Computational Intelligence, 2019, Vol.796, p.53-59
2019
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.1-15
2015
Link zum Volltext
Shocks, Singularities and Oscillations in Nonlinear Optics and Fluid Mechanics, 2017, p.151-179
2017
Link zum Volltext
Emerging Trends and Advanced Technologies for Computational Intelligence, 2016, Vol.647, p.187-206
2016
Link zum Volltext
Grammatical Inference, 2016, Vol.673, p.33-46
2016
Link zum Volltext
Machines, Computations, and Universality, 2015, p.45-60
2015
Link zum Volltext
Information and Decision Sciences, 2018, Vol.701, p.429-435
2018
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Predicate Symbol
- Artificial Intelligence
- Computer Science, Information Systems
- Function Symbol
- Software
- Mathematics
- Physical Sciences
- Theoretical Computing
- Robotics
- Logic
- Logic Program