Resultados de 1 a 10 de 47 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Verification of Camera-Based Autonomous SystemsP, Habeeb ; Deka, Nabarun ; D'Souza, Deepak ; Lodaya, Kamal ; Prabhakar, PavithraIEEE transactions on computer-aided design of integrated circuits and systems, 2023-10, Vol.42 (10), p.1-1 [Periódico revisado por pares]New York: IEEETexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Changing agents and ascribing beliefs in dynamic epistemic logicSingh, Shikha ; Lodaya, Kamal ; Khemani, DeepakarXiv.org, 2023-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
Two Ways to Scare a GruffaloSingh, Shikha ; Lodaya, Kamal ; Khemani, DeepakLogic and Its Applications, 2023, p.48-67 [Periódico revisado por pares]Cham: Springer Nature SwitzerlandSem texto completo |
| 4 |
Material Type: Artigo
|
|
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membershipKrebs, Andreas ; Lodaya, Kamal ; Pandya, Paritosh K ; Straubing, HowardarXiv.org, 2020-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membershipAndreas Krebs ; Kamal Lodaya ; Paritosh K. Pandya ; Howard StraubingLogical methods in computer science, 2020-09, Vol.16, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
| 6 |
Material Type: Resenha
|
|
Book Review: Temporal Logics in Computer Science: Finite-state SystemsLodaya, KamalThe Bulletin of Symbolic Logic, 2017, Vol.23 (2), p.203 [Periódico revisado por pares]New York: Cambridge University PressTexto completo disponível |
| 7 |
Material Type: Resenha
|
|
Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58Lodaya, KamalThe Bulletin of Symbolic Logic, 2017, Vol.23 (2), p.203-204 [Periódico revisado por pares]Cambridge University PressTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 ppLodaya, KamalThe bulletin of symbolic logic, 2017-06, Vol.23 (2), p.203-204 [Periódico revisado por pares]Texto completo disponível |
| 9 |
Material Type: Artigo
|
|
Deterministic Temporal Logics and Interval ConstraintsLodaya, Kamal ; Pandya, Paritosh KarXiv.org, 2017-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Deterministic Temporal Logics and Interval ConstraintsLodaya, Kamal ; Pandya, Paritosh K.Electronic proceedings in theoretical computer science, 2017-03, Vol.243 (Proc. M4M9 2017), p.23-40Open Publishing AssociationTexto completo disponível |
Resultados de 1 a 10 de 47 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr 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
Refinar Meus Resultados
Tipo de Recurso
- Artigos (16)
- Anais de Congresso (13)
- Book Chapters (10)
- Resenhas (5)
- Livros (3)
-
Mais opções
Assunto
- Computer Science (17)
- Science & Technology (15)
- Technology (13)
- Computer Science, Theory & Methods (10)
- Computer Science - Logic In Computer Science (6)
- Temporal Logic (6)
- Exact Sciences And Technology (6)
- Applied Sciences (6)
- Computer Science; Control Theory; Systems (6)
- Theoretical Computing (5)
- Logics And Meanings Of Programs (4)
- Algorithms (4)
- Logic (4)
- Mathematical Logic And Formal Languages (4)
- Discrete Mathematics In Computer Science (3)
- Computer Science, Software Engineering (3)
- Computation By Abstract Devices (3)
- Artificial Intelligence (3)
- Computers (3)
- Computer Imaging, Vision, Pattern Recognition And Graphics (3)
- Software Engineering (2)
- Teoria Da Computação (Congressos) (1)
- Software Engineering (1)
- Sistemas Operacionais (Congressos) (1)
- Computer Software (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de2000 (6)
- 2000Até2005 (10)
- 2006Até2010 (6)
- 2011Até2016 (14)
- Após 2016 (11)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (21)
- Lecture Notes in Computer Science Archive (through to 1996) (17)
- EZB Free E-Journals (9)
- ROAD: Directory of Open Access Scholarly Resources (8)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (8)
- Springer Books (8)
- Science Citation Index Expanded (Web of Science) (6)
- JSTOR (5)
- Free E- Journals (5)
- SpringerLINK Lecture Notes in Computer Science (2013) (5)
- Springer Nature - Springer Computer Science eBooks 2013 English International (5)
- arXiv.org (5)
- JSTOR Mathematics and Statistics (3)
- Project Euclid Complete (3)
- SpringerNature Journals (3)
- Springer Nature - Springer Journals All 2022 (3)
- Cambridge University Press Journals (3)
- Project Euclid Direct (3)
- JSTOR Arts & Sciences II (3)
- DOAJ Directory of Open Access Journals (3)
-
Mais opções
Nome da Publicação
- arXiv.org (5)
- The Bulletin Of Symbolic Logic (3)
- Review Of Development And Change (3)
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems (1)
- Arxiv (1)
- Economic And Political Weekly (1)
- Electronic Proceedings In Theoretical Computer Science, Eptcs (1)
- Electronic Proceedings In Theoretical Computer Science (1)
- Doaj (1)
- Electronic Notes In Theoretical Computer Science (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 