decays
- 期刊名称Physical Review D
- 作者López Castro, G.; Muñoz, J. H.; Sánchez, G. Toledo
- 卷第56卷
- 期第9期
- 印刷ISSN0556-2821
- 电子ISSN1089-4918
- 文件大小61.01KB
- 发表时间1997-11-1
- DOI10.1103/physrevd.56.6025
- 页码6025-6027
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Boolean expression diagramsAndersen, H.R.; Hulgaard, H. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Set constraints with intersectionCharatonik, W.; Podelski, A. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - The "Hardest" natural decidable theoryVorobyov, S. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Discrimination by parallel observersDezani-Ciancaglini, M.; Tiuryn, J.; Urzyczyn, P. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Towards a mathematical operational semanticsTuri, D.; Plotkin, G. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Quantitative analysis and model checkingHuth, M.; Kwiatkowska, M. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Automata-driven automated inductionBouhoula, A.; Jouannaud, J.-P. · 1997