Անցեք բովանդակությանը

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

Ընդլայնված

Abstract Interpretation‚ Logic...

Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Մշտական հղում

Abstract Interpretation‚ Logical Relations and Kan Extensions

Abstract Interpretation‚ Logical Relations and Kan Extensions

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Abramsky, S
Ձևաչափ:	Conference item
Հրապարակվել է:	1990

Պահումներ
Նկարագրություն
Նմանատիպ նյութեր
Աշխատակազմի տեսք

Նկարագրություն
Ամփոփում:

Նմանատիպ նյութեր

Observational Logic and Process Semantics (Abstract)
‌: Abramsky, S
Հրապարակվել է: (1989)
Introduction to Abstract Interpretation
‌: Abramsky, S, և այլն
Հրապարակվել է: (1987)
Computational Interpretations of Linear logic
‌: Abramsky, S
Հրապարակվել է: (1993)
Logical abstract interpretation
‌: D'Silva, V, և այլն
Հրապարակվել է: (2013)
Kan extensions are partial colimits
‌: Perrone, P, և այլն
Հրապարակվել է: (2022)

Որոնման ընտրանքներ

Որոնման պատմություն
Ընդլայնված որոնում

Գտեք ավելին

Թերթիր քարտարանը
Թերթիր այբբենական կարգով
Ուսումնասիրեք ալիքները
Դասընթացի պահուստներ
Նոր նյութեր

Օգնության կարիք ունե՞ք։

Որոնման հնարքներ
Հարցրեք գրադարանավարին
FAQs