Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

Computer science. --- Mathematical logic. --- Data structures (Computer science). --- Information theory. --- Computer systems. --- Computer science --- Theory of Computation. --- Mathematical Logic and Foundations. --- Data Structures and Information Theory. --- Computer System Implementation. --- Mathematics of Computing. --- Mathematics. --- Logic, Symbolic and mathematical. --- Data structures (Computer science)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

coderen --- Mathematical control systems --- Computer. Automation --- Programming --- Logic --- informatica --- informatietheorie --- ontwerpen --- Ergodic theory. Information theory --- computers --- programmeertalen --- logica --- wiskunde --- software engineering --- programmeren (informatica) --- Computer science --- Mathematical logic --- computerkunde --- Computer systems --- Decidability (Mathematical logic) --- Systèmes informatiques --- Logique symbolique er mathematique --- Verification --- Vérification --- EPUB-LIV-FT LIVINFOR SPRINGER-B --- Computer science. --- Logic design. --- Software engineering. --- Coding theory. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Coding and Information Theory. --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Computer software engineering --- Engineering --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Electronic circuit design --- Logic circuits --- Switching theory --- Computers. --- Computer logic. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Programming languages (Electronic computers). --- Mathematical logic. --- Information theory. --- Communication theory --- Communication --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Compilers (Computer programs). --- Machine theory. --- Theory of Computation. --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)