Excitotoxin 发表于 2025-3-23 10:54:54

Generalized heterogeneous algebras and partial interpretations,ds and the relationship to the classical concept of partial functions is explained. The main advantage of this approach — a uniform treatment of "strict" and "nonstrict" functions — is shown by an extended example where all recursively enumerable (finite and infinite) sequences of natural numbers ar

沙发 发表于 2025-3-23 14:55:05

http://reply.papertrans.cn/23/2202/220116/220116_12.png

联合 发表于 2025-3-23 20:15:49

http://reply.papertrans.cn/23/2202/220116/220116_13.png

yohimbine 发表于 2025-3-24 01:53:02

http://reply.papertrans.cn/23/2202/220116/220116_14.png

终止 发表于 2025-3-24 03:23:32

http://reply.papertrans.cn/23/2202/220116/220116_15.png

lactic 发表于 2025-3-24 09:29:48

Springer Proceedings in Physicsinear layout of G }..It is shown that, for all graphs G, tb(G)≤mcw(G)+1 and that, for all degree 3 graphs G, tb(G)=mcw(G)+1. This yields an 0(n log n) algorithm for determining the topological bandwidth of an arbitrary degree three tree, using the algorithm in for modified cutwidth. Topological

拍下盗公款 发表于 2025-3-24 12:19:39

http://reply.papertrans.cn/23/2202/220116/220116_17.png

Stagger 发表于 2025-3-24 17:27:05

Generalized heterogeneous algebras and partial interpretations,ts, a family of total functions and a family of definedness predicates. Partial interpretations are families of partial functions mapping such generalized algebras homomorphically onto partial heterogeneous algebras. Classes of generalized algebras can be specified equationally by generalized abstra

亚当心理阴影 发表于 2025-3-24 21:36:39

Acyclic database schemes (of various degrees): A painless introduction,cted graph, such that an edge need not contain exactly two nodes, but can instead contain an arbitrary nonzero number of nodes.) Unlike the situation for ordinary undirected graphs, there are several natural, nonequivalent notions of acyclicity for hypergraphs (and hence for database schemes). A lar

POWER 发表于 2025-3-25 00:47:43

http://reply.papertrans.cn/23/2202/220116/220116_20.png
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: CAAP ‘83; Trees in Algebra and Giorgio Ausiello,Marco Protasi Conference proceedings 1983 Springer-Verlag Berlin Heidelberg 1983 Morphism.a