Browse index of conferences, journals, authors, profiles, tags, groups
| la-web | LA-WEB |
| lacl | LACL |
| ladc | LADC |
| lads | LADS |
| lai | Logic, Action, and Information |
| LAK | LAK |
| lam | Logic and Machines |
| lamas | LAMAS |
| lambda | Lambda-Calculus and Computer Science Theory |
| Language-Tools-for-HPC | Language-Tools-for-HPC |
| lanmr | LA-NMR |
| lanoms | LANOMS |
| lansec | LANSEC |
| laptec | LAPTEC |
| larch | Larch |
| laser | LASER Summer School |
| LATA | International Conference on Language and Automata Theory and Applications |
| latin | |
| latincrypt | LATINCRYPT |
| law | Logic at Work |
| lbm | LBM (Short Papers) |
| lcc | LCC |
| lcn | LCN |
| lcpc | LCPC |
| lcr | LCR |
| lctrts | LCTES |
| ldpm | Language Design and Programming Methodology |
| ldrs | Language Design for Reliable Software |
| LDTA | Workshop on Language Descriptions, Tools, and Applications |
| LDTA | Proceedings of The Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA 2009) |
| lege | LeGE-WG 1 |
| lernet | LerNet ALFA Summer School |
| LESS | International Conference on Lean Enterprise Software and Systems |
| lfcs | LFCS |
| lfp | LISP and Functional Programming |
| lics | LICS |
| lid | LID |
| lilog | Ontologie und Axiomatik der Wissensbasis von LILOG |
| lion | LION |
| lipari | Lipari Summer School |
| lisa | LISA |
| litp | Semantics of Systems of Concurrent Processes |
| lkr | LKR |
| lll | Learning Language in Logic |
| lmo | LMO |
| loca | LoCA |
| locweb | LocWeb |
| loft | LOFT |
| logicColl | Logic Colloquium |
| LOLA | LOLA |
| lomaps | LOMAPS |
| LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation |
| lp | LP |
| lpar | LPAR |
| lpe | LPE |
| lpkr | LPKR |
| lpnmr | LPNMR |
| lpss | Logic Programming Summer School |
| lrec | LREC |
| LSFA | LSFA |
| lsgrid | LSGRID |
| lsms | LSMS (2) |
| lso | LSO |
| lssc | LSSC |
| ltc | The Logic of Theory Change |
| ltconf | LTC |
| lwa | LWA |