Logical Foundations of Computer Science
LFCS
National
CORE rank
CORE rank (raw)
National: USA
Fields of research
Theory of Computation
Papers indexed
307
1992–2022
Papers per year
199246 peak2022
Most published authors
LFCS papers
307 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1992 | Feasibility of Finite and Infinite Paths in Data Dependent Programs. | Karlis Cerans |
| 1992 | The Ehrenfeucht-Fraisse Games for Transitive Closure. | A. Cal, Johann A. Makowsky |
| 1992 | Preference Logics and Non-Monotonicity in Logic Programming. | Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama |
| 1992 | Strictness Logic and Polymorphic Invariance. | P. N. Benton |
| 1992 | Quantifying the Amount of Verboseness. | Richard Beigel, Martin Kummer, Frank Stephan |
| 1992 | Machine Learning of Higher Order Programs. | Ganesh R. Baliga, John Case, Sanjay Jain, Mandayam Suraj |
| 1992 | Modular Linear Logic. | Dmitry A. Archangelsky, Mikhail A. Taitslin |
301–307 of 307← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing