skip to main content
Idioma:
Mostrar solo
Refinado por: tipo de recurso: Actas de Congreso eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Two-Variable First Order Logic with Counting Quantifiers: Complexity Results
Two-Variable First Order Logic with Counting Quantifiers: Complexity Results
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Two-Variable First Order Logic with Counting Quantifiers: Complexity Results

Lodaya, Kamal ; Sreejith, A. V. Rigo, Michel ; Leroy, Julien ; Charlier, Émilie

Developments in Language Theory, p.260-271 [Revista revisada por pares]

Cham: Springer International Publishing

Sin texto completo

Citas Citado por
2
Two-variable Logic with a Between Relation
Two-variable Logic with a Between Relation
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Two-variable Logic with a Between Relation

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

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.106-115

New York, NY, USA: ACM

Texto completo disponible

Citas Citado por
3
Parameterized Complexity Results for 1-safe Petri Nets
Parameterized Complexity Results for 1-safe Petri Nets
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Parameterized Complexity Results for 1-safe Petri Nets

Praveen, M. ; Lodaya, Kamal König, Barbara ; Katoen, Joost-Pieter

CONCUR 2011 – Concurrency Theory, p.358-372 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sin texto completo

Citas Citado por
4
Two-variable Logic with a Between Relation
Two-variable Logic with a Between Relation
Material Type:
Acta de Congreso 		Añadir a Mi Portal

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), 2016, p.1-10

ACM

Texto completo disponible

Citas Citado por
5
A Dose of Timed Logic, in Guarded Measure
A Dose of Timed Logic, in Guarded Measure
Material Type:
Acta de Congreso 		Añadir a Mi Portal

A Dose of Timed Logic, in Guarded Measure

Lodaya, Kamal ; Pandya, Paritosh K. Asarin, Eugene ; Bouyer, Patricia

Formal Modeling and Analysis of Timed Systems, 2006, p.260-273 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sin texto completo

Citas Citado por
6
Around Dot Depth Two
Around Dot Depth Two
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Around Dot Depth Two

Lodaya, Kamal ; Pandya, Paritosh K. ; Shah, Simoni S. Seki, Shinnosuke ; Yu, Sheng ; Lu, Hanlin ; Gao, Yuan

Developments in Language Theory, p.303-315 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sin texto completo

Citas Citado por
7
LTL Can Be More Succinct
LTL Can Be More Succinct
Material Type:
Acta de Congreso 		Añadir a Mi Portal

LTL Can Be More Succinct

Lodaya, Kamal ; Sreejith, A V Chin, Wei-Ngan ; Bouajjani, Ahmed

Automated Technology for Verification and Analysis, p.245-258 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sin texto completo

Citas Citado por
8
Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Material Type:
Acta de Congreso 		Añadir a Mi Portal

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

Lodaya, Kamal

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por
9
FSTTCS 2004 : foundations of software technology and theoretical computer science (Chennai, 16-18 December 2004)
FSTTCS 2004 : foundations of software technology and theoretical computer science (Chennai, 16-18 December 2004)
Material Type:
Acta de Congreso 		Añadir a Mi Portal

FSTTCS 2004 : foundations of software technology and theoretical computer science (Chennai, 16-18 December 2004)

Lodaya, Kamal ; Mahajan, Meena

Lecture notes in computer science, 2004 [Revista revisada por pares]

Berlin: Springer

Sin texto completo

Citas Citado por
10
A Kleene Iteration for Parallelism
A Kleene Iteration for Parallelism
Material Type:
Acta de Congreso 		Añadir a Mi Portal

A Kleene Iteration for Parallelism

Lodaya, Kamal ; Weil, Pascal Arvind, Vikraman ; Ramanujam, Sundar

Foundations of Software Technology and Theoretical Computer Science, 1998, p.355-366 [Revista revisada por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponible

Citas Citado por

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (7)
  2. Revistas arbitradas (11)

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora