Pascal-Francis CNRS

Pascal and Francis Bibliographic Databases

Help

Search results

Your search

28269303

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 1 of 1

  • Page / 1
Export

Selection :

  • and

Mechanizing Metatheory Without Typing ContextsJONGHYUN PARK; JEONGBONG SEO; SUNGWOO PARK et al.Journal of automated reasoning. 2014, Vol 52, Num 2, pp 215-239, issn 0168-7433, 25 p.Article

  • Page / 1