Resultados de 1 a 10 de 6.521 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (5.813)
- Revistas revisadas por pares (4.442)
Refinado por:
assunto:
Temporal Logic
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Flow LogicOrna Kupferman ; Gal VardiLogical methods in computer science, 2019-11, Vol.15, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
A Proof of Kamp's theoremRabinovich, AlexanderLogical methods in computer science, 2014-02, Vol.10, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Wreath Products of Forest Algebras, with Applications to Tree LogicsBojanczyk, Mikolaj ; Walukiewicz, Igor ; Straubing, HowardLogical methods in computer science, 2012-09, Vol.8, Issue 3 (3), p.1-39 [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
On the Expressiveness and Complexity of ATLLaroussinie, Francois ; Markey, Nicolas ; Oreiby, GhassanLogical methods in computer science, 2008-05, Vol.4, Issue 2 (2\string:7) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Satisfiability Games for Branching-Time LogicsFriedmann, Oliver ; Lange, Martin ; Latte, MarkusLogical methods in computer science, 2013-10, Vol.9, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Reflection and Preservation of Properties in Coalgebraic (bi)SimulationsFábregas, Ignacio ; Palomino, Miguel ; David de Frutos-EscrigarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
A Complete Fragment of LTL(EB)Ferrarotti, Flavio ; Rivière, Peter ; Schewe, Klaus-Dieter ; Singh, Neeraj Kumar ; Yamine Aït AmeurarXiv.org, 2024-01Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Model Checking Probabilistic Timed Automata with One or Two ClocksJurdzinski, Marcin ; Laroussinie, Francois ; Sproston, JeremyLogical methods in computer science, 2008-09, Vol.4, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Handling of Past and Future with PhenesthePitsikalis, Manolis ; Lisitsa, Alexei ; Totzke, PatrickarXiv.org, 2023-10Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
First-Order and Temporal Logics for Nested WordsAlur, Rajeev ; Arenas, Marcelo ; Barcelo, Pablo ; Etessami, Kousha ; Immerman, Neil ; Libkin, LeonidLogical methods in computer science, 2008-11, Vol.4, Issue 4 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
Resultados de 1 a 10 de 6.521 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (5.813)
- Revistas revisadas por pares (4.442)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (5.040)
- Anais de Congresso (986)
- Book Chapters (447)
- magazinearticle (29)
- Livros (5)
- Dissertações (5)
- Reports (3)
- Newsletter Articles (2)
- Web Resources (2)
- Artigos de Jornal (1)
- Resenhas (1)
-
Mais opções
Assunto
- Science & Technology (4.720)
- Technology (4.416)
- Computer Science (4.153)
- Computer Science, Theory & Methods (1.505)
- Engineering (1.380)
- Algorithms (1.339)
- Exact Sciences And Technology (1.255)
- Computer Science, Artificial Intelligence (1.110)
- Computer Science, Software Engineering (1.104)
- Engineering, Electrical & Electronic (1.086)
- Applied Sciences (1.079)
- Computer Science, Information Systems (919)
- Computer Science; Control Theory; Systems (876)
- Mathematical Models (861)
- Software (735)
- Physical Sciences (697)
- Studies (696)
- Computer Simulation (675)
- Artificial Intelligence (672)
-
Mais opções
Data de Publicação
- Antes de1984 (21)
- 1984Até1993 (170)
- 1994Até2003 (774)
- 2004Até2014 (3.128)
- Após 2014 (2.465)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (3.651)
- ROAD: Directory of Open Access Scholarly Resources (1.663)
- Free E- Journals (1.456)
- arXiv.org (1.435)
- Lecture Notes in Computer Science Archive (through to 1996) (1.017)
- SpringerLINK Lecture Notes in Computer Science (2015) (1.014)
- IEEE Electronic Library (IEL) Journals (912)
- ANTE: Abstracts in New Technology & Engineering (887)
- SpringerNature Journals (868)
- EBSCOhost Computers and Applied Sciences Complete (843)
- Springer Nature - Springer Journals All 2022 (811)
- ScienceDirect - Connect here FIRST to enable access (807)
- EZB Electronic Journals Library (668)
- Journals@Ovid Full Text (490)
- IngentaConnect Journals (413)
- Gale Academic OneFile Select (404)
- Aerospace Database (397)
- Academic Search Premier (EB_SDU_P3) (362)
- DOAJ Directory of Open Access Journals (301)
- ACM Digital Library Complete (296)
-
Mais opções
Nome da Publicação
- arXiv.org (1.433)
- Arxiv (723)
- Ieee Transactions On Image Processing (70)
- Theoretical Computer Science (69)
- Ieee Transactions On Software Engineering (67)
- Ieee Transactions On Knowledge And Data Engineering (60)
- International Journal On Software Tools For Technology Transfer (51)
- Formal Methods In System Design (45)
- Ieee Transactions On Multimedia (42)
- Journal Of Logic And Computation (42)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 