General discussion
- 期刊名称Transactions of the Faraday Society
- 作者Penrose, ; Whiffen, ; Collie, C. H.; Powles, J. G.; Jackson, Willis; Hall, H. Warburton; Halliday, I. G.; Lamb, J.; Penrose, R. P.; Frank, F. C.; Magat, ; Thompson, ; Gee, G.; Bauer, E.; Le Fevre, R. J. W.; Jackson, Wilis; Pelzer, H.; Sutton, ; van Santen, J. H.; Weiss, J.; B�ttcher, C. J. F.; Schallamach, A.; Ritson, D. M.; Sutherland, ; Cripwell, ; Magat, M.
- 卷第42卷
- 印刷ISSN0014-7672
- 文件大小1380.46KB
- 发表时间1946
- DOI10.1039/tf946420a155
[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 - Ramified higher-order unificationGoubault-Larrecq, J. · 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