Autori: Strassburger Lutz
| Naslov | On the Power of Substitution in the Calculus of Structures (Article) |
| Autori | Novakovic Novak Strassburger Lutz |
| Info | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, (2015), vol. 16 br. 3, str. - |
| Projekat | French National Research Agency (ANR) project STRUCTURAL; Ministry of Education and Science of Serbia [ON 174026] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
