Language: English

Jump To : Overview Titles Subjects

Formal Languages and Automata Theory.

Overview

Works:	98 works in 55 publications in 55 languages

Titles

Go where the bugs are = essays dedicated to Wolfgang Reif on the occasion of his 65th Birthday / by: (Language materials, printed)

Logic and its applications = 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025 : proceedings / by: (Language materials, printed)

Recent trends in algebraic development techniques = 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024 : revised selected papers / by: (Language materials, printed)

An introduction to theory of computation = an algorithmic approach / by: (Language materials, printed)

Institution-independent model theory by: (Language materials, printed)

Fundamental discrete structures by: (Language materials, printed)

Human and artificial rationalities = advances in cognition, computation, and consciousness : third International Conference, HAR 2024, Paris, France, September 17-20, 2024 : proceedings / by: (Language materials, printed)

Software fault prevention, verification, and validation = first International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024 : proceedings / by: (Language materials, printed)

The Semantic Web = ESWC 2024 satellite events : Hersonissos, Crete, Greece, May 26-30, 2024 : proceedings.. Part II / by: (Language materials, printed)

The Semantic Web = ESWC 2024 satellite events : Hersonissos, Crete, Greece, May 26-30, 2024 : proceedings.. Part I / by: (Language materials, printed)

Subjects

Numerical analysis.

Computer Communication Networks.

Software engineering.

aArtificial intelligence

Telecommunication.

Mathematical Logic and Foundations.

Computer science

Component software

Application software.

General Algebraic Systems.

Decidability (Mathematical logic)

Internet of things.

Algebraic topology.

Computers.

Induction (Logic)

Software Testing.

Language and logic

Database Management.

Computable functions

Human-computer interaction

Data Structures and Information Theory.

Mathematical Modeling and Industrial Mathematics.

Computer networks .

Knowledge Based Systems.

Formal Languages and Automata Theory.

Systems engineering.

Computers, Special purpose.

Natural language processing (Computer science).

Numerical Analysis.

Computational linguistics

Margaria-Steffen, Tiziana,

Coding theory

Graph Theory.

Mathematics of Computing.

Data structures (Computer science).

Internet of Things.

Microprogramming .

Inference.

Word problems (Mathematics)

Semantic Web

Computer simulation.

Computer vision.

Management science.

Probability and Statistics in Computer Science.

Big Data.

Logic programming.

Database management.

Special Purpose and Application-Based Systems.

Computer systems.

Uncertainty (Information theory)

Abstract data types (Computer science)

Computing Milieux.

Computer science.

Logic, Symbolic and mathematical

Discrete Mathematics in Computer Science.

Philology.

Programming languages (Electronic computers)

Robotic Engineering.

Reasoning

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science Logic and Foundations of Programming.

Computer software

Mathematical logic.

Computer science—Mathematics.

Computer engineering.

Computer Application in Social and Behavioral Sciences.

Formal methods (Computer science)

Combinatorial analysis

Knowledge acquisition (Expert systems)

Theory and Algorithms for Application Domains.

Symbolic and Algebraic Manipulation.

Semantic computing

Applications of Discrete Mathematics.

Computers and Education.

Computational Linguistics.

Real-time data processing.

Question-answering systems

Computer programming.

Programming Techniques.

Logic.

Computable functions.

Models of Computation.

Recursion theory.

Metadata

Artificial intelligence

Artificial Intelligence.

Information technology—Management.

Social sciences—Data processing.

Information Model.

Model Theory.

Information storage and retrieval systems.

Natural Language Processing (NLP).

Logic

Information Storage and Retrieval.

Software engineering

Data mining

Compilers (Computer programs).

Image processing—Digital techniques.

Fuzzy sets.

Computability and Recursion Theory.

Order, Lattices, Ordered Algebraic Structures.

Software Engineering.

Database searching

Game Theory.

Computer Modelling.

Languages.

Information theory.

Computers and civilization

Automatic theorem proving

Communications Engineering, Networks.

Logic in AI.

Programming Language.

Computer networks

Computational Complexity.

Compilers and Interpreters.

Logic programming

Computer Engineering and Networks.

Game theory.

Machine learning

Computer security

Computer logic

Mathematical statistics.

Expert systems (Computer science).

Data mining.

Discrete mathematics.

Control Structures and Microprogramming.

Operations research.

Expert systems (Computer science)

Logic, Symbolic and mathematical.

Computer systems

Computer Application in Administrative Data Processing.

Logic design.

Big data.

Natural Language Processing (NLP)

Computer Hardware.

Data and Information Security.

Programming languages (Electronic computers).

Data Mining and Knowledge Discovery.

Manifolds (Mathematics).

Building Information Modeling.

Computer System Implementation.

Algebraic Topology.

Building information modeling.

Artificial intelligence.

Model theory.

Theory of Computation.

Operations Research, Management Science .

Logic Design.

Computer programming

Algorithms.

Computer and Information Systems Applications.

Design and Analysis of Algorithms.

Database management

Manifolds and Cell Complexes.

Machine theory.

Mathematical models.