skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FSTTCS 2004 foundations of software technology and theoretical computer science 24th international conference, Chennai, India, December 16-18, 2004 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

FSTTCS 2004 foundations of software technology and theoretical computer science 24th international conference, Chennai, India, December 16-18, 2004 proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (24th 2004 Madras, India) Kamal Lodaya; Meena Mahajan

Berlin Springer New York c2004

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

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Algorithms as machines.(Report)

Lodaya, Kamal

Resonance, April, 2009, Vol.14(4), p.367(13) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Lodaya, Kamal

Springer Berlin Heidelberg, Berlin, Heidelberg 2013

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Fine-grained Concurrency with Separation Logic

Kapoor, Kalpesh ; Lodaya, Kamal ; Reddy, Uday

Journal of Philosophical Logic, 2011, Vol.40(5), pp.583-632 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Deterministic Temporal Logics and Interval Constraints

Kamal Lodaya ; Paritosh K. Pandya

Electronic Proceedings in Theoretical Computer Science, 01 March 2017, Vol.243(Proc. M4M9 2017), pp.23-40

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Parameterized complexity results for 1-safe Petri nets

Praveen, M. ; Lodaya, Kamal

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Two-variable Logic with a Between Predicate

Krebs, Andreas ; Lodaya, Kamal ; Pandya, Paritosh ; Straubing, Howard

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Algorithms as machines

Lodaya, Kamal

Resonance, 2009, Vol.14(4), pp.367-379 [Periódico revisado por pares]

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Analyzing Reachability for Some Petri Nets With Fast Growing Markings

Praveen, M ; Lodaya, Kamal

Electronic Notes in Theoretical Computer Science, 26 December 2008, Vol.223, pp.215-237 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Two-variable Logic with a Between Relation

Krebs, Andreas ; Lodaya, Kamal ; Pandya, Paritosh ; Straubing, Howard

2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), July 2016, pp.1-10

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (10)
  2. Anais de Congresso  (2)
  3. Resenhas  (1)
  4. Livros  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2004  (2)
  2. 2004Até2007  (1)
  3. 2008Até2008  (1)
  4. 2009Até2011  (4)
  5. Após 2011  (6)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Lodaya, Kamal
  2. Lodaya, K.
  3. Pandya, Paritosh
  4. Krebs, Andreas
  5. Ramanujam, R.

Buscando em bases de dados remotas. Favor aguardar.