Výsledky vyhledávání - Theory of computation Formal languages and automatic theory Formalisms Rewrite systems

On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer.

Autoři: Constable, Robert L.

Zdroj: 2012 27th Annual IEEE Symposium on Logic in Computer Science; 1/ 1/2012, p2-8, 7p

FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE.

Autoři: DJAOUI, CHAFIKA CHAOUI, ALLAOUA

Zdroj: Computer Science; 2024, Vol. 25 Issue 3, p1-23, 23p

Témata: FORMAL languages, MODELING languages (Computer science), SEMANTICS, LOGIC, ENGINEERING

F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID.

Autoři: Singh, Neeraj Kumar Aït‐Ameur, Yamine Mendil, Ismail a další

Zdroj: Journal of Software: Evolution & Process; Jul2023, Vol. 35 Issue 7, p1-38, 38p

Témata: FORMAL languages, FLUIDS, TASK analysis, USER interfaces

Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.

Autoři: Lee, Jaehun Bae, Kyungmin Ölveczky, Peter Csaba a další

Zdroj: International Journal on Software Tools for Technology Transfer; Dec2022, Vol. 24 Issue 6, p911-948, 38p

Témata: CYBER physical systems, SEMANTICS, HYBRID systems, AVIONICS, FORMAL languages, CLOCKS & watches

Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations.

Autoři: Cristiá, Maximiliano Rossi, Gianfranco

Zdroj: Journal of Automated Reasoning; Feb2020, Vol. 64 Issue 2, p295-330, 36p

Témata: FIRST-order logic, SET theory, FORMAL languages, EMPIRICAL research, CONSTRAINT satisfaction

A Grammatical Approach to Self-Organizing Robotic Systems.

Autoři: Klavins, Eric Ghrist, Robert Lipsky, David

Zdroj: IEEE Transactions on Automatic Control; Jun2006, Vol. 51 Issue 6, p949-962, 14p, 12 Diagrams

Témata: GRAPH grammars, FORMAL languages, PROGRAMMING languages, COMPUTERS, ROBOTS, MACHINE theory, ROBOTICS research, ELECTRONICS

Geografický termín: UNITED States

Modeling Dynamic Programming Problems over Sequences and Trees with Inverse Coupled Rewrite Systems.

Autoři: Giegerich, Robert Touzet, Hélène

Zdroj: Algorithms; Mar2014, Vol. 7 Issue 1, p62-144, 83p

Témata: ALGORITHMS, MATHEMATICAL programming, MATHEMATICAL optimization, LIFE science education, SYSTEMS theory

Frontiers of Combining Systems

Autoři: René Thiemann Christoph Weidenbach

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Grammatical Theory

Autoři: Müller, Stefan

Resource Type: eBook.

Témata: Language acquisition, Language and languages--Study and teaching, Germanic languages--Syntax, Computational linguistics, Grammar, Comparative and general, Generative grammar, Government (Grammar)

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autoři: Thomas Wies

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Programming / Compilers

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoři: Luís Caires

Resource Type: eBook.

Témata: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autoři: Ilya Sergey

Resource Type: eBook.

Témata: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Bayesian Models of Conceptual Development: Learning as Building Models of the World.

Autoři: Ullman, Tomer D. Tenenbaum, Joshua B.

Zdroj: Annual Review of Developmental Psychology; 2020, Vol. 2, p533-558, 26p

Grammatical Theory

Autoři: Müller, Stefan

Resource Type: eBook.

Témata: Language arts

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 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

Autoři: Nobuko Yoshida

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Naoki Kobayashi James Worrell

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Grammatical Theory

Autoři: Müller, Stefan

Resource Type: eBook.

Témata: Computational linguistics, Language acquisition, Language and languages--Study and teaching, Linguistics, Generative grammar, Government (Grammar), Grammar, Comparative and general--Syntax, Germanic languages--Syntax

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Abstract Canonical Inference.

Autoři: Bonacina, Maria Paola Dershowitz, Nachum

Zdroj: ACM Transactions on Computational Logic; Jan2007, Vol. 8 Issue 1, p1-28, 28p

Témata: COMPLETENESS theorem, MATHEMATICAL logic, FORMAL languages, INFERENCE (Logic), REDUNDANCY (Linguistics), FAIRNESS