程序理论相关论文
介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想，以及Kestrel如何应用这种思想渐进地形式化构造货......
随着我国法治建设的进一步发展，人们开始关注法律程序的正当性问题。各种程序理论都提出了自己的判断法律程序是否正当的标准，但是，这......
形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬......
卵巢癌作为常见的三大妇科恶性肿瘤之一,包括了卵巢恶性上皮性肿瘤、卵巢恶性生殖细胞肿瘤和恶性性索间质细胞肿瘤,其中又以卵巢恶......
本文首先根据当今社会经济发展,重新认识"规划"的意义和作用。并在此基础上阐述和分析了西方国家几种规划程序理论。通过对西方几......
程序的运行是一种文化行为,在社会学研究中它还具有社会控制的作用。新闻传播活动本身也是一种文化活动,它通过传播信息、引导舆论......
这是一篇关于立法表决制度的立法学论文。论文的基本框架共分五部分:一、立法表决制度概述及其历史发展;二、我国立法表决制度的价......
在现代社会,衡量一个国家是否是宪政国家,不能只看这个国家宪法的宣言与标榜,而必须观察这个国家是否具有一套足够限制政府权力、......
东周时期，我国古代的立法与司法发生重大变化。东周时期立法、司法的宗旨与目的由维护宗法等级制向维护君主专制的官僚制转变。立法......
<正>中国现行刑事审判制度确立了定罪与量刑一体化的程序模式,主流的诉讼理论也是以定罪控制为中心确立起来的。然而,法院的量刑依......
