找回密碼
 To register

QQ登錄

只需一步，快速開(kāi)始

掃一掃，訪(fǎng)問(wèn)微社區(qū)

打印 上一主題 下一主題

Titlebook: Logic of Computation; Helmut Schwichtenberg Conference proceedings 1997 Springer-Verlag Berlin Heidelberg 1997 Typentheorie.computer.logic

[復(fù)制鏈接]
查看: 42181|回復(fù): 48
樓主
發(fā)表于 2025-3-21 17:46:36 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱(chēng)Logic of Computation
編輯Helmut Schwichtenberg
視頻videohttp://file.papertrans.cn/589/588029/588029.mp4
叢書(shū)名稱(chēng)NATO ASI Subseries F:
圖書(shū)封面Titlebook: Logic of Computation; Helmut Schwichtenberg Conference proceedings 1997 Springer-Verlag Berlin Heidelberg 1997 Typentheorie.computer.logic
描述The Marktoberdorf Summer School 1995 ‘Logic of Computation‘ was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. ? The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type theoretic setup of the underlying language has developed into a standard. ? Extensions of logic programming, e.g. by allowing more general formulas and/or higher order languages. ? Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to develop a general mathematical understanding of complexity questions. ? Rewrite systems and unification, again in a higher order context. Closely related is the now well-established Grabner basis theory, which recently has found interesting applications. ? Category theoretic and more generally algebraic method
出版日期Conference proceedings 1997
關(guān)鍵詞Typentheorie; computer; logic; logic programming; program specification; program verification; programming
版次1
doihttps://doi.org/10.1007/978-3-642-59048-1
isbn_softcover978-3-642-63832-9
isbn_ebook978-3-642-59048-1Series ISSN 0258-1248
issn_series 0258-1248
copyrightSpringer-Verlag Berlin Heidelberg 1997
The information of publication is updating

書(shū)目名稱(chēng)Logic of Computation影響因子(影響力)




書(shū)目名稱(chēng)Logic of Computation影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Logic of Computation網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Logic of Computation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Logic of Computation被引頻次




書(shū)目名稱(chēng)Logic of Computation被引頻次學(xué)科排名




書(shū)目名稱(chēng)Logic of Computation年度引用




書(shū)目名稱(chēng)Logic of Computation年度引用學(xué)科排名




書(shū)目名稱(chēng)Logic of Computation讀者反饋




書(shū)目名稱(chēng)Logic of Computation讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics
 

0票 0%

Better Implies Difficulty
 

0票 0%

Good and Satisfactory
 

0票 0%

Adverse Performance
 

0票 0%

Disdainful Garbage
您所在的用戶(hù)組沒(méi)有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:24:22 | 只看該作者
Logic Programming and Meta-Logic,o allows for abstractions and concurrency in specifications. To illustrate the expressive strengths of Forum, we specify in it a sequent calculus proof system and the operational semantics of a programming language that incorporates side-effects.
板凳
發(fā)表于 2025-3-22 03:15:03 | 只看該作者
Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives,tary category theoretic notions. All the required category theory is introduced in the lectures. In addition to the familiar initial algebra approach to syntax and semantics we examine the less familiar final coalgebra approach to operational semantics. Our treatment of formal semantics is intended to complement a more standard introduction.
地板
發(fā)表于 2025-3-22 07:58:10 | 只看該作者
5#
發(fā)表于 2025-3-22 11:43:16 | 只看該作者
Some Proof Theory of First Order Logic Programming,rograms (with negation). After discussing partiality in logic programming, this article ends with the introduction of inductive extensions of logic programs, which provide a powerful proof-theoretic framework for logic programming.
6#
發(fā)表于 2025-3-22 14:04:52 | 只看該作者
0258-1248 he NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were th
7#
發(fā)表于 2025-3-22 20:28:06 | 只看該作者
Conference proceedings 1997ientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the followin
8#
發(fā)表于 2025-3-22 21:21:20 | 只看該作者
9#
發(fā)表于 2025-3-23 03:08:38 | 只看該作者
10#
發(fā)表于 2025-3-23 07:52:40 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-11 07:44
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
岳西县| 门源| 行唐县| 项城市| 什邡市| 乌兰浩特市| 揭阳市| 栾川县| 南召县| 共和县| 上高县| 吴旗县| 涡阳县| 定边县| 漳平市| 望都县| 遂溪县| 于田县| 桓台县| 南溪县| 汽车| 高安市| 托里县| 牡丹江市| 新河县| 阳西县| 长武县| 手游| 孝感市| 安仁县| 马边| 高碑店市| 阳泉市| 康保县| 黄陵县| 遵义县| 海原县| 莫力| 馆陶县| 高阳县| 剑川县|