Search Results - programming language theory
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 66
- Software Engineering 51
- Artificial intelligence 48
- Computer programming / software development 30
- Software engineering 23
- Programming & scripting languages: general 19
- Computer networking & communications 18
- Artificial Intelligence 16
- Mathematical theory of computation 16
- Computer Science Logic and Foundations of Programming 15
- Formal Languages and Automata Theory 15
- Machine theory 15
- Algorithms & data structures 14
- Theory of Computation 11
- Compilers (Computer programs) 9
- Compilers and Interpreters 9
- Computer networks 9
- Education 9
- Computer Engineering and Networks 8
- Computer engineering 8
- Systems analysis & design 8
- Computer Modelling 7
- Computer simulation 7
- Computers 7
- Discrete mathematics 7
- Mathematics 7
- Computer modelling & simulation 6
- Computer programming 6
- Electronic digital computers 6
- Evaluation 6
-
361
-
362
-
363
-
364
-
365
Sustainable Education and Social Networks
Published 2023Subjects: “…Language Models…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
366
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2023Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata
Electronic eBook -
367
-
368
-
369
-
370
-
371
-
372
-
373
Beyond the body? The Future of Embodied Cognition
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
374
The Impact of Sensory; Linguistic and Social Deprivation on Cognition
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
375
First Time Up An Insider'S Guide For New Composition Teachers
Published 2005DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
376
-
377
The Educational Turn Rethinking the Scholarship of Teaching and Learning in Higher Education
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
378
-
379
Virtuelle Wirklichkeiten Atmosphärisches Vergangenheitserleben im Digitalen Spiel
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
380