Search Results

1 - 2 of 2 items :

  • "combining logic" x
Clear All
Philosophical Problems of Foundations of Logic

Philosophical Logic 41.4 (2012): 671-709. 17. Boolos, G., “On Second-order Logic”, Journal of Philosophy 72 (1975): 509-27. 18. Brown D.J. and R. Suszko, “Abstract Logics”, Dissertationes Mathematicae 102 (1973): 7-41. 19. Carnielli, W. A., M. E. Coniglio, D. M. Gabbay, P. Gouveia and C. Sernadas, Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Dordrecht: Springer, 2008. 20. Carnielli, W.A. and M.E. Coniglio, “Combining Logics”, [in:] Edward N. Zalta (ed.), Stanford Encyclopedia of

Open access
FSM Encoding for BDD Representations

. (2000): ACTion: Combining logic synthesis and technology mapping for MUX-based FPGAs. — J. Syst. Archit., Vol. 46, No. 14, pp. 1321-1334. Hartrmanis J. and Stearns R.E. (1962): Some dangers in the state reduction of sequential machines. — Inf. Contr., Vol. 5, No. 3, pp. 252-260. Lavagno L., McGeer P., Saldanha A. and Sangiovanni-Vincentelli A.L. (1995): Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. — Proc. 32-th Design Automation Conf., San Francisco, CA, USA, pp. 254

Open access