共 50 条
- [21] On the complexity of some equivalence problems for propositional calculi MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2003, PROCEEDINGS, 2003, 2747 : 632 - 641
- [23] Properties and Complexity of Some Superposition Choice Procedures MODELLING, COMPUTATION AND OPTIMIZATION IN INFORMATION SYSTEMS AND MANAGEMENT SCIENCES - MCO 2015 - PT II, 2015, 360 : 475 - 486
- [25] Light Ray Concentration Reduces the Complexity of the Wavelength-Based Machine on PSPACE Languages UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, 2013, 7956 : 90 - 101
- [29] Complexity of Functional Learning on Some Classes of Multivariate Functions ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 3, PROCEEDINGS, 2008, : 141 - +