skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Imperative history two-dimensional executable temporal logic
Imperative history two-dimensional executable temporal logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Imperative history two-dimensional executable temporal logic

Marcelo Finger Mark C Reynolds

Ohlbach, Hans Jurgen; Reyle, Uwe, ed Logic, language and reasoning : essays in honour of Dov Gabbay Dordrecht : Springer, 1999

Dordrecht Springer 1999

Localização: IME - Inst. Matemática e Estatística    (PROD-1084818 ) e outros locais(Acessar)

2
Especificação e verificação formal de requisitos para sistemas de tráfego aéreo.
Especificação e verificação formal de requisitos para sistemas de tráfego aéreo.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Especificação e verificação formal de requisitos para sistemas de tráfego aéreo.

Aguchiku, Fábio Seiti

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2018-08-03

Acesso online. A biblioteca também possui exemplares impressos.

3
On the uncomputability of partial meet contraction for linear-time temporal logic
On the uncomputability of partial meet contraction for linear-time temporal logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

On the uncomputability of partial meet contraction for linear-time temporal logic

Paulo T Guerra Renata Wassermann; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)

South American Journal of Logic Campinas v. 4, n. 2, p. 385-406, 2018

Campinas 2018

Acesso online. A biblioteca também possui exemplares impressos.

4
Specifying preferences over policies using branching time temporal logic
Specifying preferences over policies using branching time temporal logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Specifying preferences over policies using branching time temporal logic

Warlles Carlos Costa Machado Viviane Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes; Brazilian Conference on Intelligent Systems - (BRACIS) (12. 2023 Belo Horizonte, MG)

Proceedings Cham : Springer, 2023

Cham Springer 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3158835 )(Acessar)

5
Using α-ctl to specify complex planning goals
Using α-ctl to specify complex planning goals
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using α-ctl to specify complex planning goals

Silvio do Lago Pereira Leliane Nunes de Barros; International Workshop on Logic, Language, Information, and Computation - WoLLIC (15. 2008 Edinburgh)

Proceedings Berlin : Springer, 2008

Berlin Springer 2008

Localização: IME - Inst. Matemática e Estatística    (PROD-3035989 )(Acessar)

6
A classification of test purposes based on testable properties
A classification of test purposes based on testable properties
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A classification of test purposes based on testable properties

Simone Hanazumi Ana Cristina Vieira de Melo; International Conference on Computational Science and Its Applications - ICCSA (15. 2015 Banff)

Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I Cham: Springer, 2015

Cham Springer 2015

Localização: IME - Inst. Matemática e Estatística    (PROD-2740749 )(Acessar)

7
Advances in Temporal Logic
Advances in Temporal Logic
Advances in Temporal Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Temporal Logic

Howard Barringer Michael Fisher; Dov M Gabbay; Graham Gough

Springer Netherlands 2000

Acesso online. A biblioteca também possui exemplares impressos.

8
The expression of time
The expression of time
Material Type:
Livro 		Adicionar ao Meu Espaço

The expression of time

Wolfgang Klein 1946 Feb. 3-; Ping Li 1962-

Berlin Mouton de Gruyter New York c2009

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (415 E96 )(Acessar)

9
A theory of aspectuality the interaction between temporal and atemporal structure
A theory of aspectuality the interaction between temporal and atemporal structure
Material Type:
Livro 		Adicionar ao Meu Espaço

A theory of aspectuality the interaction between temporal and atemporal structure

H. J. Verkuyl

Cambridge England Cambridge University Press New York, NY, USA 1996, c1993

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (410 C188 v. 64 1996 )(Acessar)

10
Reactive and Risk-Aware Control for Signal Temporal Logic
Reactive and Risk-Aware Control for Signal Temporal Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reactive and Risk-Aware Control for Signal Temporal Logic

Lindemann, Lars ; Pappas, George J. ; Dimarogonas, Dimos V.

IEEE transactions on automatic control, 2022-10, Vol.67 (10), p.5262-5277 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (13.197)
  2. Anais de Congresso  (1.686)
  3. Book Chapters  (1.475)
  4. magazinearticle  (107)
  5. Newsletter Articles  (84)
  6. Reports  (70)
  7. Livros  (44)
  8. Standards  (21)
  9. Dissertações  (16)
  10. Resenhas  (12)
  11. Conjunto de Dados  (9)
  12. Web Resources  (4)
  13. Verbetes  (3)
  14. Artigos de Jornal  (1)
  15. Produções Acadêmicas  (1)
  16. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1964  (38)
  2. 1964Até1978  (113)
  3. 1979Até1993  (438)
  4. 1994Até2009  (4.603)
  5. Após 2009  (11.427)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (16.653)
  2. Japonês  (1.466)
  3. Espanhol  (30)
  4. Francês  (29)
  5. Chinês  (21)
  6. Alemão  (18)
  7. Português  (18)
  8. Russo  (17)
  9. Croatian  (3)
  10. Holandês  (3)
  11. Norueguês  (2)
  12. Húngaro  (1)
  13. Dinamarquês  (1)
  14. Ucraniano  (1)
  15. Italiano  (1)
  16. Turco  (1)
  17. Lituano  (1)
  18. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Barros, L
  2. Verkuyl, H
  3. Brazilian Logic Conference - EBL
  4. Li, P
  5. Melo, A

Neste Assunto:

  1. Temporal Logic
  2. Science & Technology
  3. Technology
  4. Computer Science
  5. Physical Sciences

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.