Suchergebnisse - "logical aspects of computational complexity"
-
1
Weitere Verfasser:
Schlagwörter: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
Dateibeschreibung: application/pdf
Relation: Lecture Notes in Computer Science
Zugangs-URL: https://library.oapen.org/handle/20.500.12657/101666
-
2
Weitere Verfasser:
Schlagwörter: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
Dateibeschreibung: application/pdf
Relation: Lecture Notes in Computer Science
Zugangs-URL: https://library.oapen.org/handle/20.500.12657/89912
-
3
Weitere Verfasser:
Schlagwörter: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
Dateibeschreibung: application/pdf
Relation: Lecture Notes in Computer Science
Zugangs-URL: https://library.oapen.org/handle/20.500.12657/54027
-
4
Weitere Verfasser:
Schlagwörter: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications
Dateibeschreibung: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Zugangs-URL: http://library.oapen.org/handle/20.500.12657/37723
-
5
Weitere Verfasser:
Schlagwörter: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity
Dateibeschreibung: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572289_14; OCN: 1429286645
-
6
Autoren: Flum, Jörg
Quelle: Butl. Soc. Catalana Mat. - 15, 2 (2000) , 27 - 35
Verfügbarkeit: https://freidok.uni-freiburg.de/data/38531
-
7
-
8
Autoren:
Index Begriffe: Computer science., Mathematical logic., Computer Science., Mathematical Logic and Formal Languages., Text
URL:
http://dspace.conacyt.gov.py/xmlui/handle/123456789/16392
Springer eBooks
Lecture Notes in Computer Science, 0302-9743 ; 9537http://cicco.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-27683-0 -
9
-
10
Autoren:
Resource Type: eBook.
Schlagworte: Mathematical logic, Machine theory, Artificial intelligence
Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science
-
11
Autoren:
Resource Type: eBook.
Schlagworte: Machine theory, Computer arithmetic and logic units, Computer science, Artificial intelligence, Compilers (Computer programs), Computer programming
Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Logic Design, COMPUTERS / Programming / General
-
12
Autoren: et al.
Quelle: Peer-to-Peer Networking & Applications; Mar2022, Vol. 15 Issue 2, p988-1007, 20p
Schlagwörter: ENVIRONMENTAL economics, INCENTIVE (Psychology), CRYPTOCURRENCIES, BLOCKCHAINS, COINS, HARD currencies
-
13
Weitere Verfasser:
Schlagwörter: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Lógica simbólica y matemática, Lógica algebraica, Matemáticas
Dateibeschreibung: 644 páginas; application/pdf
Relation: https://directory.doabooks.org/handle/20.500.12854/35090; http://hdl.handle.net/20.500.12010/17513
-
14
-
15
Autoren: Andrew Pitts
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General
-
16
Autoren:
Resource Type: eBook.
Schlagworte: Logic, Computer science--Congresses, Computer logic--Congresses
Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Logic Design, MATHEMATICS / Logic
-
17
Autoren: et al.
Quelle: Oberwolfach Reports. 14:3121-3183
-
18
Autoren:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Logic Design, COMPUTERS / Programming / Algorithms, MATHEMATICS / Algebra / General, MATHEMATICS / Logic
-
19
Weitere Verfasser:
Schlagwörter: ddc:510, Konferenzschrift
Dateibeschreibung: application/pdf
Relation: ESSN:1660-8941; https://oa.tib.eu/renate/handle/123456789/13329; https://doi.org/10.34657/12359
-
20
Quelle: Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings; 2016, pI-X, 10p
Full Text Finder 
Nájsť tento článok vo Web of Science