Sortiert nach
Logical methods in computer science, 2017-01, Vol.13, Issue 4
2017
Link zum Volltext
Logical methods in computer science, 2017-08, Vol.13, Issue 3
2017
Link zum Volltext
MATEC Web of Conferences, 2018, Vol.224, p.4023
2018
Link zum Volltext
Mathematical structures in computer science, 2018-03, Vol.28 (3), p.429-447
2018
Link zum Volltext
Mathematical structures in computer science, 2017-12, Vol.27 (8), p.1466-1494
2017
Link zum Volltext
Journal of logic and computation, 2007-12, Vol.17 (6), p.1135-1151
2007
Link zum Volltext
Mathematical structures in computer science, 2015-12, Vol.25 (8), p.1669-1684
2015
Link zum Volltext
Unveiling Dynamics and Complexity, p.282-291
Link zum Volltext
Unveiling Dynamics and Complexity, p.64-76
Link zum Volltext
Perspectives of System Informatics, 2019, Vol.11964, p.185-198
2019
Link zum Volltext
Evolving Computability, p.226-235
Link zum Volltext
Notre Dame journal of formal logic, 2010-01, Vol.51 (1), p.85-96
2010
Link zum Volltext
Sailing Routes in the World of Computation, 2018, Vol.10936, p.234-243
2018
Link zum Volltext
Journal of logic and computation, 2009-02, Vol.19 (1), p.159-174
2009
Link zum Volltext
Pursuit of the Universal, p.302-311
Link zum Volltext
Electronic notes in theoretical computer science, 2008-12, Vol.221, p.115-125
2008
Link zum Volltext
Perspectives of System Informatics, 2015, Vol.8974, p.201-215
2015
Link zum Volltext
Journal of logic and computation, 2012-08, Vol.22 (4), p.755-777
2012
Link zum Volltext
Annals of pure and applied logic, 2009-06, Vol.159 (3), p.318-332
2009
Link zum Volltext
Journal of logic and computation, 2009-02, Vol.19 (1), p.159-174
2009
Link zum Volltext
Computation and Logic in the Real World, p.416-425
Link zum Volltext
Mathematical Theory and Computational Practice, p.290-299
Link zum Volltext
Logical Approaches to Computational Barriers, p.289-296
Link zum Volltext
Programs, Proofs, Processes, p.246-255
Link zum Volltext
Developments in Language Theory, p.454-465
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Physical Sciences
- Logic
- Mathematics
- Science & Technology - Other Topics
- Definability
- Automorphism
- Mathematics, Applied
- Computable Analysis
- First-Order Theory
- Least Fixed Point
- Amplitude Detector
- Biinterpretability
- Engineering
- Forest
- Homomorphic Quasiorder
- Infix Order
Kollektion
- Ingenta
- SpringerLink Series
- Free E-Journal (出版社公開部分のみ）
- IEEE Xplore
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals Current Collection
- Ebook Central Perpetual and DDA
- Cambridge Journals Online (DEFF)
- eBooks on EBSCOhost
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Complete
- Duke University Press
- Springer Nature - Connect here FIRST to enable access
- Project Euclid Complete
- SpringerLink Journals - AutoHoldings
Zeitschrift / Serie
- Journal Of Logic And Computation
- Journal Of Organometallic Chemistry
- Mathematical Structures In Computer Science
- Animal Bioscience
- Journal Of Advanced Research In Law And Economics
- Jsme International Journal. Series B, Fluids And Thermal Engineering
- Logical Methods In Computer Science
- 29th International Crimean Conference: Microwave & Telecommunication Technology
- Acs Catalysis
- Annals Of Pure And Applied Logic