scientific article; zbMATH DE number 877299
From MaRDI portal
Publication:4877295
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Theory of software (68N99) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
Cited in
(16)- The implication and finite implication problems for typed template dependencies
- Theoretical aspects of computer science. Advanced lectures
- scientific article; zbMATH DE number 5913351 (Why is no real title available?)
- scientific article; zbMATH DE number 3866548 (Why is no real title available?)
- Theoretical foundations of computer science
- Technical informatics. An introduction to computability, complexity and formal languges with 101 examples
- scientific article; zbMATH DE number 107959 (Why is no real title available?)
- scientific article; zbMATH DE number 193738 (Why is no real title available?)
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- scientific article; zbMATH DE number 194975 (Why is no real title available?)
- scientific article; zbMATH DE number 814908 (Why is no real title available?)
- Fifty years of the spectrum problem: survey and new results
- scientific article; zbMATH DE number 6164359 (Why is no real title available?)
- scientific article; zbMATH DE number 1453448 (Why is no real title available?)
- Theoretical computer science -- in brief
- Theory-guided technology in computer science
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4877295)
